3d3889e0cefcdce9b3f43c53aaa201943ac2e895 |
|
29-Nov-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed lots of hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb |
88570d320178530c69775eeef87f0d5813f38fc2 |
|
02-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added LANGUAGE pragmas
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13497 cec4b9c1-7d33-0410-9eda-942365e851bb |
f30f834d81e1c294aff8eb2752fd864f6488820d |
|
26-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused genericCMDLautomatic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12853 cec4b9c1-7d33-0410-9eda-942365e851bb |
635cc219cf9bb3872ca53e49e9a1ea1a336d3065 |
|
11-Nov-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted to spechub/Hets@2f1781ab0a0a58328ef9d1ad8bda1984fd80259d
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12818 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 |
a7699964d49817379b497787c191b147cd4ed31e |
|
01-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
supply sufficient time for 3 goals
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12554 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c21e8df80ba05c768960129ba0aac96cc87e109 |
|
28-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected Vampire result wrt ga_comm_inf
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12533 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea029a5600d383c38aaa1eddc06df6c38681e3b6 |
|
21-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
increase time limit
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11981 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a85ddb80fdb39fe5d610c60db760fcae63a9c54 |
|
01-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted openGoalStatus
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11127 cec4b9c1-7d33-0410-9eda-942365e851bb |
f153609d4ff5616d7caa410df605afcdfb9956df |
|
28-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved GenericATPState to Interfaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11121 cec4b9c1-7d33-0410-9eda-942365e851bb |
11a623e2ed389b7bc76aeab5bdaac3b39f8417c2 |
|
25-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted type to spechub/Hets@ad69cb3627839ed3d33f13d71c81378b65a24b35
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11080 cec4b9c1-7d33-0410-9eda-942365e851bb |
efae9df274e73f44ebfc30d15fc8cbe6bfcd38c9 |
|
17-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted to spechub/Hets@f094a7999dfa79cad2eb34ce15f1939c0d6b9e39
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11024 cec4b9c1-7d33-0410-9eda-942365e851bb |
a14767aeac3e78ed100f5b75e210ba563ee10dba |
|
24-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused the same proof tree
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10890 cec4b9c1-7d33-0410-9eda-942365e851bb |
5146e460c093de4fe442a2d444506b64a19eb904 |
|
26-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
increased time for MathServer
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10747 cec4b9c1-7d33-0410-9eda-942365e851bb |
56207d3d8820aef00cba6d90139265a9bc7f9c3d |
|
17-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed separate simple terms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9930 cec4b9c1-7d33-0410-9eda-942365e851bb |
78670b5799795db534a38a93b7b8f75443a207c1 |
|
01-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
deleted trailing whitespace
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9858 cec4b9c1-7d33-0410-9eda-942365e851bb |
8bff6ee2f4cd33c1f8b4f5f7f1b0e4ea07c92196 |
|
01-Apr-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9856 cec4b9c1-7d33-0410-9eda-942365e851bb |
4d5a6049af28173f43ee286e1fd94e491ca5702d |
|
27-Nov-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
imported renamed ProveSPASS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9249 cec4b9c1-7d33-0410-9eda-942365e851bb |
db07ed6f85a30f108918490aa8a5183272a0a318 |
|
08-Oct-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
darwin no longer outputs its path, CMDL-Tests for Darwin
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9006 cec4b9c1-7d33-0410-9eda-942365e851bb |
243447e8fc4475937609f5e8397058cb92f6cbb4 |
|
16-Sep-2007 |
Razvan Pascanu <r.pascanu@jacobs-university.de> |
undo/redo done
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8854 cec4b9c1-7d33-0410-9eda-942365e851bb |
99634745e86bb1c79da4e2b376e580f65ee67082 |
|
25-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
changed maintainers; improved efficiency of Proofs.BatchProcessing; improved documentation; improved test program
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8475 cec4b9c1-7d33-0410-9eda-942365e851bb |
8b74f1cc678e4c018c79ec6d14c643389b429532 |
|
23-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added possibility to wait for each attempt of the batch mode for the CMDL interface; added test that can be run with "SoftFOL/tests/CMDL_tests batch"; updated documentation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8451 cec4b9c1-7d33-0410-9eda-942365e851bb |
f156e0854d9c9a4c2da4f8d2ed4e04ea381d684e |
|
19-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
PGIP.ProveCommands:
shortened the thread delay before polling
Proofs.BatchProcessing:
added usage of revertRenamingOfLabels for presenting the correct labels
to the users of proofCMDLautomatic*
GUI.*:
* implementation and usage of revertRenamingOfLabels
SoftFOL/tests/CMDL_tests:
* improved robustness of tests
* adapted to new results
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8423 cec4b9c1-7d33-0410-9eda-942365e851bb |
f04e8f3ff56405901be968fd4c6e9769239f1a9b |
|
26-Jun-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Renamed almost all files with SPASS into SoftFOL.
Only SoftFOL/Logic_SPASS remains.
It will be updated very soon.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8150 cec4b9c1-7d33-0410-9eda-942365e851bb |