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 |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
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 |
81e71677da25aee1caa7fef177c45ddd69bbf22e |
|
27-Mar-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed useless semantic extension
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17819 cec4b9c1-7d33-0410-9eda-942365e851bb |
8394b397aadaf0c2bfc19c0628f17f83f031a759 |
|
17-Oct-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
replaced SentenceTHF with THFFormula
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17571 cec4b9c1-7d33-0410-9eda-942365e851bb |
99b4ae53a7d2f1b71e8e737c82cacd3a7ec64e9b |
|
01-Oct-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
first version of comorphism THFP2THF0
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17462 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 |
f05c6ef44524347189dfdd91cda948d3e7d6158b |
|
01-Oct-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added product kind
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17459 cec4b9c1-7d33-0410-9eda-942365e851bb |
34f39ea74476d1637e9b21f5c8d18a4c26a6671b |
|
25-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added products to static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17435 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 |
8c030738bc90ffb417074a9502c0bac2ed414e2e |
|
19-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
properly implemented MinSublogic for the basic spec and sentences. projections, signatures etc. still broken
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17381 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 |
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 |
8252949464f7823e8951fc76dbb9fd78cb0dc8ac |
|
29-Jun-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed haddock marker
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15397 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 |
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 |