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 |
ad1df93673cf323534cdfe18981ad5daae4c90c0 |
|
28-Jul-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed incorrect mail address
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18078 cec4b9c1-7d33-0410-9eda-942365e851bb |
87d946b3c13ffd7f6391aa796e786c2b31b122b1 |
|
19-Apr-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
cleanup
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17875 cec4b9c1-7d33-0410-9eda-942365e851bb |
06e0297730e16674a727ef4920a7805561ba24b6 |
|
25-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
increased time limit for leo so it doesn't die early on examples
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17431 cec4b9c1-7d33-0410-9eda-942365e851bb |
9d05f30775dd499da9e262b5c199b63c86cc239b |
|
25-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
restructured sublogics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17427 cec4b9c1-7d33-0410-9eda-942365e851bb |
f9096659967df62573bb5a5fd069c41bf5a0eca1 |
|
19-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
refactored code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17376 cec4b9c1-7d33-0410-9eda-942365e851bb |
a8a57a21062572f1fd2ebc4cf79ace5030d681bb |
|
19-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
display output to stderr in error messages to make them more meaningful
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17372 cec4b9c1-7d33-0410-9eda-942365e851bb |
92a290f44fb5877e74293f5f098935778022ae78 |
|
19-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
leoII command line option -po needs an argument
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17370 cec4b9c1-7d33-0410-9eda-942365e851bb |
658187feb755694eb5ff29561bda7109c22c743c |
|
24-Aug-2011 |
Alexis Tsogias <Alexis.Tsogias@dfki.de> |
Added a Comorphism for HasCasl to THF0. Some other minor changes.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16011 cec4b9c1-7d33-0410-9eda-942365e851bb |
93c8c4a8ce75cc2e02e03468a97b896f149d26ce |
|
03-Aug-2011 |
Alexis Tsogias <Alexis.Tsogias@dfki.de> |
Some changes about which FormulaRoles are allowed and how they are treated. Some other minor modifications
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15857 cec4b9c1-7d33-0410-9eda-942365e851bb |
409eb8adf8c7ee0609aef256b67f5dfad2fb6386 |
|
02-Aug-2011 |
Alexis Tsogias <Alexis.Tsogias@dfki.de> |
Reimplemented StaticAnalysis with sigunion, -diff, and -intersection. Added an implementation for RunLeoII. Several other minor changes.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15847 cec4b9c1-7d33-0410-9eda-942365e851bb |
7dc37844730a8b23973139e9720574382de109e7 |
|
29-Jul-2011 |
Alexis Tsogias <Alexis.Tsogias@dfki.de> |
Moved signaturre related data structures and methods th Sign.hs and modified the static analysis.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15780 cec4b9c1-7d33-0410-9eda-942365e851bb |
f53d38c9ce6bdc5ceb897835185f83d89bc122f6 |
|
28-Jul-2011 |
Alexis Tsogias <Alexis.Tsogias@dfki.de> |
scan/hlint cleanup of the THF files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15760 cec4b9c1-7d33-0410-9eda-942365e851bb |
f89fe954ae0f396db7678137c820ea2fd485a78e |
|
28-Jun-2011 |
Alexis Tsogias <Alexis.Tsogias@dfki.de> |
Added the Module THF.Print for all print-functions not belonging to PrintTHF. ProveState updated
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15384 cec4b9c1-7d33-0410-9eda-942365e851bb |
748e10233de9e76b68be4f0050c7b4a7f3c415ea |
|
24-Jun-2011 |
Alexis Tsogias <Alexis.Tsogias@dfki.de> |
added proveleoII for THF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15299 cec4b9c1-7d33-0410-9eda-942365e851bb |