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 |
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 |
677f88c528e9ec35e830f3eece2626dcde9895c6 |
|
17-Oct-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fix #1075
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17572 cec4b9c1-7d33-0410-9eda-942365e851bb |
8fb127028cb7dd361e348a3252e33487f73428bc |
|
01-Oct-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added rudimentary ranges to thf parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17460 cec4b9c1-7d33-0410-9eda-942365e851bb |
8bdf8ddb76255ac9d0c508654bccb4728b0e43f7 |
|
25-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
updated to TPTP bnf syntax v5.4.0.0
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17430 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 |
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 |
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 |
4e95ffc23b9c5f0b5980ab6f1cacbe7bd9789851 |
|
28-Jul-2011 |
Alexis Tsogias <Alexis.Tsogias@dfki.de> |
Added a new parser for the THF0 symtax and a first implementation for the static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15755 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 |
fc09e0a6af734edbd944dd8082bb51985c233b43 |
|
23-Jun-2011 |
Alexis Tsogias <Alexis.Tsogias@dfki.de> |
sign and symbols for THF.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15268 cec4b9c1-7d33-0410-9eda-942365e851bb |
1e622ddf5a057555db1924ddc88475c695c6f7f2 |
|
17-Jun-2011 |
Alexis Tsogias <Alexis.Tsogias@dfki.de> |
Some changes in THF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15210 cec4b9c1-7d33-0410-9eda-942365e851bb |
e21e5f0fa66bf80e14cfd3f571e09b3952e46ad9 |
|
08-Jun-2011 |
Alexis Tsogias <Alexis.Tsogias@dfki.de> |
Added Files for Logic and the comorphism from HasCASL to THF
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15088 cec4b9c1-7d33-0410-9eda-942365e851bb |
4cea468e955597a7069faba3f43f27e913f2b651 |
|
20-Apr-2011 |
Alexis Tsogias <Alexis.Tsogias@dfki.de> |
some minor fixes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14971 cec4b9c1-7d33-0410-9eda-942365e851bb |
12f6880fc0909e8dc2bdebc5f299a6a8bfa8afa7 |
|
18-Apr-2011 |
Alexis Tsogias <Alexis.Tsogias@dfki.de> |
Reduced the amount of Datastructure and functions in As and ParseTHF. Added the Printer for THF.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14941 cec4b9c1-7d33-0410-9eda-942365e851bb |