e9458b1a7a19a63aa4c179f9ab20f4d50681c168 |
|
25-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
applied utils/replaceAllHeaders.sh
- all $Header$ tokens in doc comments replaced with corresponding filename |
e24ad3f655daa60ddabe690e4b11de3187996c16 |
|
22-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
moved the IO availability test into the prover and checker records |
13f171a25992527ab537ef878f8a97950d05d0e2 |
|
09-Nov-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17615 cec4b9c1-7d33-0410-9eda-942365e851bb |
9ae4455521336b3eba4c3da72209db78ef893c76 |
|
09-Nov-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid getSymbolicLinkStatus failure and output message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17614 cec4b9c1-7d33-0410-9eda-942365e851bb |
43b9e2b9e442325368494eae664ccde45118b8a2 |
|
08-Nov-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
output hetsvse messages for debugging
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17613 cec4b9c1-7d33-0410-9eda-942365e851bb |
c80f456a47cd2c7f7517ead4bee97ee39df80809 |
|
07-Nov-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
hetsvse does not write to stderr reverted last change
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17612 cec4b9c1-7d33-0410-9eda-942365e851bb |
18a649b73e9c949be22286475cbb67589ffdffdb |
|
07-Nov-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
output hetsvse errors
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17611 cec4b9c1-7d33-0410-9eda-942365e851bb |
0cbf797aec792ad0a6728595b9b66c610a88e0f8 |
|
05-Nov-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
create plain tar-file in current directory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17607 cec4b9c1-7d33-0410-9eda-942365e851bb |
9db2bd64088c7e5935b94dd9c3ad5cdc24f48814 |
|
30-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched from Prelude.catch to Control.Exception
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17075 cec4b9c1-7d33-0410-9eda-942365e851bb |
711c44c183e72fba6faeebed598d4810041a0f9e |
|
22-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved import into CPP block
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16571 cec4b9c1-7d33-0410-9eda-942365e851bb |
98890889ffb2e8f6f722b00e265a211f13b5a861 |
|
01-Sep-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Added see license.txt to license field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb |
b87efd3db0d2dc41615ea28669faf80fc1b48d56 |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed haddock headers and inserted empty headers for the ones missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f1781ab0a0a58328ef9d1ad8bda1984fd80259d |
|
10-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
only use two states proved consistent or inconsistent
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12816 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a6decfd748f532d5cb03fbcb7a42fa37b0faab3 |
|
16-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored prover stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12661 cec4b9c1-7d33-0410-9eda-942365e851bb |
2665d7759e63acff0bcd4135678f2cc6f2041d46 |
|
21-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched from OPTIONS to LANGUAGE pragma
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12478 cec4b9c1-7d33-0410-9eda-942365e851bb |
920641c66390a85497e367ce5c7a10af445a93cc |
|
02-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted to new tar version
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11452 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1df0f69167ad10c7e4046f7b0040138a6c704bd |
|
25-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed warning without tar package
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11427 cec4b9c1-7d33-0410-9eda-942365e851bb |
2686d4438ffde954ffbb3a3f307642a893b33570 |
|
24-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
tar VSE specification files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11425 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f00fdae29d166de729f63ac7fc4f86fae9f0ca8 |
|
18-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed duplicate code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11400 cec4b9c1-7d33-0410-9eda-942365e851bb |
f2d79c976fd7f82d18a335756bc53cd79f3055a2 |
|
04-Feb-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to improve reading and error handling
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11358 cec4b9c1-7d33-0410-9eda-942365e851bb |
22573c6b275549f2fe22f38daf53230edcdb6c6b |
|
27-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
record proof status
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11319 cec4b9c1-7d33-0410-9eda-942365e851bb |
9be1052882e8380405e446e5743d9b9d90fe4d46 |
|
26-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to update proof states
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11317 cec4b9c1-7d33-0410-9eda-942365e851bb |
cbe1eac1b494e1c8387375b49e02bc86250e5f9a |
|
20-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
rewrote lemma extraction
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11290 cec4b9c1-7d33-0410-9eda-942365e851bb |
95d9929fec701e09fd1861045fcb642d15c81b2b |
|
15-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
exported everything and returned read result
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11263 cec4b9c1-7d33-0410-9eda-942365e851bb |
f094a7999dfa79cad2eb34ce15f1939c0d6b9e39 |
|
14-Nov-2008 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactored prover interface: carry around freeness constraints
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11008 cec4b9c1-7d33-0410-9eda-942365e851bb |
433bb7cb49200f4e6c7341101da25309e423c0e2 |
|
14-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored prover template
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11005 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad4001b6360bf46aa6ad8ef5332f81b9cff01485 |
|
02-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not block if VSE does not respond
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10764 cec4b9c1-7d33-0410-9eda-942365e851bb |
85c38e5f9a838cf472eaee0ec2fa5f43ef1dcf91 |
|
02-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to address via HETS_VSE
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10763 cec4b9c1-7d33-0410-9eda-942365e851bb |
fe4dd28228d50d7bd602add52d1790f3e6dddf8f |
|
01-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove slashes from node name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10760 cec4b9c1-7d33-0410-9eda-942365e851bb |
8d01e8ccb80b5d5c7f7ab05c7badd74a319197f9 |
|
01-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
handle final VSE response
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10757 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa6683c7b0bce3abca0d41adc8b02b1bae7de0fb |
|
30-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
call hetsvse via runInteractiveProcess
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10754 cec4b9c1-7d33-0410-9eda-942365e851bb |
f60355f33fd3a73b81aaed9baee50f3ef24a216d |
|
12-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
integrated vse prover
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10676 cec4b9c1-7d33-0410-9eda-942365e851bb |
0442a3b0bd448902168597d0697bd84c84551cdd |
|
12-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepared prover integration
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10674 cec4b9c1-7d33-0410-9eda-942365e851bb |