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 |
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 |
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 |
c12d42ce40f77309a5e5572a1de874d823cf1b9d |
|
29-Oct-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
equalize naming scheme of Gtk and HTk files.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12755 cec4b9c1-7d33-0410-9eda-942365e851bb |
8a09bb0d66c5be017e8eefeeea31ead5829ab202 |
|
29-Oct-2009 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added a Gtk version of the generic prover gui. GenericATP.hs moved to HTkGenericATP.hs. Stop is now workin in ConsistencyChecker.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12754 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 |
91b3380a74afbf09dc0e7a54c9ee6de26dfbc42a |
|
06-Apr-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
only use uni with hierarchical modules
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11649 cec4b9c1-7d33-0410-9eda-942365e851bb |
848e1a61ed069cd51f8642721c4a6b3043e8082c |
|
19-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
extra module GUI.PrintUtils is not needed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11275 cec4b9c1-7d33-0410-9eda-942365e851bb |
bec3eda3fd03319e64b9fe55d5517b8a9847b983 |
|
19-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified more uni imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11183 cec4b9c1-7d33-0410-9eda-942365e851bb |
4e9e95ba35a68f3c767bc0b23ebf9e904e442517 |
|
19-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
support uni version 2 with hierarchical module names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11173 cec4b9c1-7d33-0410-9eda-942365e851bb |
75b0c0c2cbfb7edd3f4c0555227aabbe6c1aa195 |
|
04-Dec-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepare exception handling for ghc-6.10.1
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11144 cec4b9c1-7d33-0410-9eda-942365e851bb |
d1066b8fb69179973dcab47154858d77e72760a7 |
|
01-Dec-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
All message dialogs are now provided by GUI.Utils. Changes all modules to use the windows from GUI.Utils. And hopefully fixed Gtk Error in FileDialogs.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11136 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 |
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 |
9b01b265715d725c17d51619d297bbb97f37d1b5 |
|
19-Nov-2008 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
All GUIs provided by GUI.HTkUtils are now provided by GUI.GtkUtils too. Access is provided by GUI.Utils, if gtk2hs is available GUI.GtkUtils is used else GUI.HTkUtils. All Modules which used GUI.HTkUtils directly are now using GUI.Utils instead.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11034 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 |
46f85eef2548f27d68b6d9bbd444f05aeb46c1da |
|
10-Oct-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
used readMaybe
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10802 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 |
b6b955bb313159bdd477048e9eeaf7d76cfd5c82 |
|
10-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepared for qualified uni names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10669 cec4b9c1-7d33-0410-9eda-942365e851bb |
84933d742dc5bcf760653b5d1784e00cee342032 |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced {-| with {- |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10424 cec4b9c1-7d33-0410-9eda-942365e851bb |
009c07d49ec2f1237c9523313e7629ca20934c90 |
|
09-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed multiline strings following error
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9011 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ae102234a27ba58e0c42feaebccc9e180e4a10a |
|
11-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed showing diagnostics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8831 cec4b9c1-7d33-0410-9eda-942365e851bb |
2eeec5240b424984e3ee26296da1eeab6c6d739e |
|
23-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced @tzi with @informatik.uni-bremen
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8698 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 |
1842453990fed8a1bd7a5ac792d7982c1d2bfcd5 |
|
15-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
made a separate module for G_theory
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8618 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 |
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 |
2fd2203030290e086af9625fba095e4716a956f7 |
|
25-May-2007 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
reactivated rainers changes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7942 cec4b9c1-7d33-0410-9eda-942365e851bb |
852b86ee8786a502b252baa812e588d390c3ee19 |
|
03-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted previous change that requires updating of uni
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7867 cec4b9c1-7d33-0410-9eda-942365e851bb |
4541c596d5e906289f9c86ae2939dc24b3feadfb |
|
25-Apr-2007 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
update of goal listboxes keeps visible area of the list
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7846 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 |
f53975b5633e30f67c15bc43af0451861111e447 |
|
22-Jan-2007 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
code cleanup: replaced fromMaybe
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7325 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 |
9f6bada499519e10828b361bf73a4f6ae964012c |
|
11-Dec-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* shortend Signature Window
* implemented truncate for long goal names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7240 cec4b9c1-7d33-0410-9eda-942365e851bb |
5967ba5fa5842a9adcaa1aa85d726bce56b2f3b3 |
|
23-Nov-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
corrected display of first goal name after continueing a batch mode after stopping it
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7184 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 |
46681d192a6c7cea34681813ef1c4b8e3b1682c7 |
|
23-Oct-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
Show current goal name in batch mode below extra options. Cutted lines to 80 chars.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7098 cec4b9c1-7d33-0410-9eda-942365e851bb |
1abf64c499a688186c13fdb89a19d7370d2c133f |
|
11-Oct-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
Real error messages of SPASS are enabled again.
ATPBatchStopped is used for killed batch thread.
Some minor improvements in GUI.GenericATP and
updated documentation in SPASS.Prove.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7034 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e8d38593e6e13bbeb678bb51d5a47065f2a52b1 |
|
10-Oct-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
no error message window/console output in batch mode
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7032 cec4b9c1-7d33-0410-9eda-942365e851bb |
f49a0c5517bc189246e6a5c4b5cdfe3c0697f5dc |
|
20-Sep-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
put some functions into Proofs/BatchProcessing, especially goalProcessed and genericProveBatch
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6956 cec4b9c1-7d33-0410-9eda-942365e851bb |
6cf84d96f1f62990a3caf9d6119ef44af4ab8f46 |
|
01-Sep-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
goalProcessed is now independent of the GUI
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6914 cec4b9c1-7d33-0410-9eda-942365e851bb |
9307e3e7d936748607d61266f0c278578323b61f |
|
15-Aug-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
An ATPError stops the batch mode now
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6825 cec4b9c1-7d33-0410-9eda-942365e851bb |
2870844cf0e81c9e2c24a7fa18cc2bdfe84d3a46 |
|
15-Aug-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
* changed Tacticscript type (see in Logic.Prover)
* improved output for MathServ-based provers, now displayed with Pretty
* improved display of box "save prover configuration" in GUI.GenericATP, using Pretty functions in module GUI.PrintUtils
* added field timeUsed in GenericConfig. It should contain number of milliseconds for a prover run. Already filled in SPASS and MathServ-based provers.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6820 cec4b9c1-7d33-0410-9eda-942365e851bb |
fb3c2c2f8ba0766174fb800eb7210ce12876fa91 |
|
08-Aug-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
moved filling of goal list box to the end, this might cause a wider opening of the window
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6792 cec4b9c1-7d33-0410-9eda-942365e851bb |
fae0385c0abc61df870816951211fe54d0385a1c |
|
08-Aug-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
* improved layout of batch mode part
* corrected behavior of "Stop"-button:
clicking the button means stop whole batch mode again
* improved tolerance towards closing the window via window manager button
during a running batch job
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6790 cec4b9c1-7d33-0410-9eda-942365e851bb |
70d98b264028c34322dc595e0963cc5012b66f99 |
|
06-Jul-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
* Current options are now saved in DFG file as settings, parsed from SPASS commandline.
* createProverOptions was added in GenericATPState.ATPFunctions. Prover interfaces (SPASS.Prove, SPASS.ProveMathServ, SPASS.ProveVampire) are updated.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6614 cec4b9c1-7d33-0410-9eda-942365e851bb |
7d6042151ad51bcf47bcde48a733efa005001b49 |
|
22-Jun-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
solved some problems with the batch mode; improved readability; added export list
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6476 cec4b9c1-7d33-0410-9eda-942365e851bb |
8f2da5fb43d11332a87b5a6576f3286502aa5057 |
|
23-May-2006 |
Klaus Luettich <luettich@informatik.uni-bremen.de> |
added spaces to control the inital size of the window
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6379 cec4b9c1-7d33-0410-9eda-942365e851bb |
92c80b18ac5c9f50eaac953bd39e03bfed09da6d |
|
12-May-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
* added checkbox for automatic saving problem files (depending on env variable)
* added parameter in genericATPgui for having extra options field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6315 cec4b9c1-7d33-0410-9eda-942365e851bb |
40d005c52039b32125ee3928f4a615b72008be24 |
|
08-May-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
Some corrections because of changed ATPFunctions. Generalized dfg (button name and file extension).
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6290 cec4b9c1-7d33-0410-9eda-942365e851bb |
dbd000c70f6ae3b8f710ca4832e2a9c7e9907b2b |
|
27-Apr-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
rewritten call for initialising GenericState because of removed theory name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6268 cec4b9c1-7d33-0410-9eda-942365e851bb |
86306945d9ab058060afff7116c2673404f4eece |
|
25-Apr-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
Button 'Save DFG' is available again
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6249 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e45346e2633401f2825e2e2ce6c8d9d7efdbc6b |
|
22-Apr-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
Full prover GUI included without genSPASSProblem (saveConfig).
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6240 cec4b9c1-7d33-0410-9eda-942365e851bb |
7c318b1e3d796c414c6d178808f8ab381b543344 |
|
22-Apr-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
Simple GUI with exit button. Not yet tested.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6237 cec4b9c1-7d33-0410-9eda-942365e851bb |
a4794e5f9399ffe9e0fe8a4ed2a9fd5514618613 |
|
07-Apr-2006 |
Rainer Grabbe <rainer@informatik.uni-bremen.de> |
only module structure
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6180 cec4b9c1-7d33-0410-9eda-942365e851bb |