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 |
55ab20b85d8838544a83c1ef2e01e1f2b2da7496 |
|
04-Jan-2015 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Add prover output to ProofStatus and xml response. |
7f9414fd19ada66b67b9ed4f5f111b8f12cb85e6 |
|
16-Jul-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
removed unused type argument |
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 |
d8a6d1101a0e3d09fb8f8566590cb209c103498a |
|
15-Jul-2013 |
Loredana Mihaela Diaconu <lo.diaconu@jacobs-university.de> |
ticket 1106
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18035 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f255de078b37e2788b1ae0728c3f2e1c5c66478 |
|
26-Apr-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted spechub/Hets@82b871c99f605e42b5880d0231f411c2e8d1cd3a
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17918 cec4b9c1-7d33-0410-9eda-942365e851bb |
82b871c99f605e42b5880d0231f411c2e8d1cd3a |
|
26-Apr-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
show original used axioms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17917 cec4b9c1-7d33-0410-9eda-942365e851bb |
b356039e2660d83a40b84ba06187463f7c195334 |
|
26-Apr-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17916 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 |
9df106ffdb7ece9b1094088700ee00b5533c7e1c |
|
06-Jul-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
add timeout to reasons of open goals
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13682 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 |
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 |
dfaebfa08889e4170a08125b082ae6b3f50a89dc |
|
02-Sep-2009 |
Markus Gross <Markus.Gross@dfki.de> |
Don't poll MVars all the time. Print the goal status in the callback function instead. Fixes #731.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12399 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 |
386ffcce39ca7466c27a0a831fe4bbbbfd5c3632 |
|
28-Nov-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
added reasons to open proof states
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11120 cec4b9c1-7d33-0410-9eda-942365e851bb |
3ee0a2095e7213b1b7889025658f784ef48426ea |
|
24-Nov-2008 |
Razvan Pascanu <r.pascanu@jacobs-university.de> |
First steps towards separating common datatypes/functions for PGIP and GUI
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11076 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad69cb3627839ed3d33f13d71c81378b65a24b35 |
|
24-Nov-2008 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added theory to FreeDefMorphism
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11064 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 |
433bc07a43dd58f7ca4c93b6ea5a026a2dcb114d |
|
28-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unnecessary Show constraints
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10898 cec4b9c1-7d33-0410-9eda-942365e851bb |
a6a88d8b0ca3144864bf00f12df3c1347fafda54 |
|
24-Oct-2008 |
Razvan Pascanu <r.pascanu@jacobs-university.de> |
Ticket 598 and Ticket 597 solved
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10875 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5fe06af711a6912ae028ebf873eada4ee8733f8 |
|
23-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced umlaut in Luettich
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10718 cec4b9c1-7d33-0410-9eda-942365e851bb |
9aa022d4a305b108d8501aa8c303317c7631305b |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed more than two consecutive blank lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10428 cec4b9c1-7d33-0410-9eda-942365e851bb |
da955132262baab309a50fdffe228c9efe68251d |
|
27-Sep-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
cleaned up codes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8947 cec4b9c1-7d33-0410-9eda-942365e851bb |
135bcb7f65991146c103e5e7599adbc49fe7359d |
|
16-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced senName with senAttr
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8627 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 |
03f1cdf920c28b4d0f1ec047a4807851949d354e |
|
13-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* improved documentation of Logic.Prover
* added some threadDelay to BatchProcessing
* some modifications to the selection of all goals in PGIP
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8361 cec4b9c1-7d33-0410-9eda-942365e851bb |
6cf925d90ac843fd6b6648e846bec18eed7560e4 |
|
09-Jul-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* corrected Read instance for ATPTacticScript
* improved debugging messages in PGIP.ProveCommands
* added more output of SPASS to "internal errors"
* if there is any diagnosis the Proof result is Nothing now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8301 cec4b9c1-7d33-0410-9eda-942365e851bb |
fe5c659e3a90e4622d0f189d6721e595533d2c85 |
|
31-May-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added timeUsed field to Logic.Prover.ProofStatus
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7956 cec4b9c1-7d33-0410-9eda-942365e851bb |
6c0b00cd57cc00337b88b1ea5947c6981f42fac3 |
|
09-Mar-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
again some performance improvements regarding the GUI; displaying full info takes long while display of short info (proof status indicator, used axioms) is instantaneous
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7634 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad270004874ce1d0697fb30d7309f180553bb315 |
|
21-Feb-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to Data.Set, Data.Map and Data.Dynamic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7491 cec4b9c1-7d33-0410-9eda-942365e851bb |
550bdbcaa63092a2b17c767f29cf37f563641b3e |
|
11-Jan-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* added some 'seq's to improve GUI efficiency
* removed not needed field from Proofs.GUIState
* improved closing of ProofManagement GUI
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7300 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c917547d63648de43e36cb01e54953cb3915612 |
|
25-Nov-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Changed reference to result of Logic.Prover.proveCMDLautomaticBatch from
IORef to a thread-safe usage of MVar.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7203 cec4b9c1-7d33-0410-9eda-942365e851bb |
7ee9bf2347fc17e587a58875a54af4c16421e559 |
|
22-Nov-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
exchanged all IORefs with MVars for a thread-safe communication between batch-mode and GUI.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7174 cec4b9c1-7d33-0410-9eda-942365e851bb |
ec63744c35b6401c76c64ca16151792e7136a89f |
|
14-Nov-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7158 cec4b9c1-7d33-0410-9eda-942365e851bb |
36ac64a4d275b089acf128e1c0916cf12b9a97a8 |
|
24-Oct-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
additional parameter in update function for showing current (next) goal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7099 cec4b9c1-7d33-0410-9eda-942365e851bb |
1cfbc86b65025ac6446a561af445e0cdd4671554 |
|
16-Oct-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
handling of new ATPResult
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7057 cec4b9c1-7d33-0410-9eda-942365e851bb |
de44dd20b82fa838fee0fbed0f4f8f5114bd5215 |
|
10-Oct-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
deactivated output of warning/error messages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7033 cec4b9c1-7d33-0410-9eda-942365e851bb |
392b1c2207a29eb82e1d05dbc5fb64b5b2af9f59 |
|
10-Oct-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
bug solved in creation of result's IORef (no append but rewrite)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7025 cec4b9c1-7d33-0410-9eda-942365e851bb |
db2396e1c2970b9d29795eaefdd86b517c7e9eea |
|
20-Sep-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
Batch processing functions in seperate module. New command line prover functions implemented.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6954 cec4b9c1-7d33-0410-9eda-942365e851bb |