4f3a84cb1b7e55ce38df8f4ac71d06b574b23cb1 |
|
27-Mar-2018 |
mscodescu <mscodescu@gmail.com> |
origin of sentences |
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 |
4524a7b9cc36e34a24149056938fb8fa6f7f147a |
|
28-Aug-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
only use posix modules on unix
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17262 cec4b9c1-7d33-0410-9eda-942365e851bb |
c1d06b3018b34ede2b3fb6c7fe2ad28cd5ce5b68 |
|
28-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
added syntax IRI to theories
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17252 cec4b9c1-7d33-0410-9eda-942365e851bb |
142fd5dd7fcfa170f08b2a0ab232859428f6e3c2 |
|
03-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced readProcessWithCode by executeProcess
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17099 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea8e98e298f33f9362293f392c8fb192722b8904 |
|
30-Mar-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
Changed Simple-ID to IRI on Library-, Structure- and Architecture-level
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16750 cec4b9c1-7d33-0410-9eda-942365e851bb |
081559cfba7150d19604bdeafdc2d9983f7216b3 |
|
20-Dec-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
moved a few common functions to Common/SAX.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16565 cec4b9c1-7d33-0410-9eda-942365e851bb |
79f56174375f8aca9f6aa9073a9b5029572f24a2 |
|
08-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16548 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f23b9d60b67f1fabbfb5e4900b9841ad68a1283 |
|
08-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove temp files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16547 cec4b9c1-7d33-0410-9eda-942365e851bb |
f739b5b573c858a0947f5391feeffa7721399162 |
|
08-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
better trim
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16546 cec4b9c1-7d33-0410-9eda-942365e851bb |
928f787abd25e6b3aae823bfdd3ba38047bd5479 |
|
08-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
copied image and refactored
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16545 cec4b9c1-7d33-0410-9eda-942365e851bb |
b9ff59730c0ac139a6005f20f4a544f80b0d534b |
|
08-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored head and read
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16544 cec4b9c1-7d33-0410-9eda-942365e851bb |
ed74713634e5f4691b7cfae861b811a15e087d37 |
|
08-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16543 cec4b9c1-7d33-0410-9eda-942365e851bb |
ebf09f7e5d86ffcf7ccdd3d0616066f5d8c03b72 |
|
08-Dec-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
look for dmtcp_restart in path
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16541 cec4b9c1-7d33-0410-9eda-942365e851bb |
d9095146bf4c4ea4674cf70e5cd93f2ec481f750 |
|
07-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
further simplified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16539 cec4b9c1-7d33-0410-9eda-942365e851bb |
6cb0c9ce91006c418f08604c61add630558ce246 |
|
07-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16538 cec4b9c1-7d33-0410-9eda-942365e851bb |
690ca6b2f26edfa55fe148ca5b536d05941915d1 |
|
07-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
reduced MaybeT monad stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16537 cec4b9c1-7d33-0410-9eda-942365e851bb |
7530bacfe0513d2920eb3f1c0f2dabbf66892512 |
|
07-Dec-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
moved to our own, portable version of MaybeT
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16534 cec4b9c1-7d33-0410-9eda-942365e851bb |
418841b9f41b555679a0aac76c56e9995b928876 |
|
07-Dec-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
reverted to use of maybet & fixed a few hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16533 cec4b9c1-7d33-0410-9eda-942365e851bb |
8212cd9317badd14d07f086c43fad486363de645 |
|
06-Dec-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16525 cec4b9c1-7d33-0410-9eda-942365e851bb |
19af9ceca544a2f2b496adf41710c867874471d8 |
|
05-Dec-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed a few hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16515 cec4b9c1-7d33-0410-9eda-942365e851bb |
f2c3e4a5924656946b3cf05471b3e3a96453fecf |
|
05-Dec-2011 |
Simon Ulbricht <tekknix@informatik.uni-bremen.de> |
corrected compilation error for gtk 6.x
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16509 cec4b9c1-7d33-0410-9eda-942365e851bb |
190a684f73cc376f5446e60419c7a87f2eacde71 |
|
05-Dec-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
a little refactoring and style corrections
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16506 cec4b9c1-7d33-0410-9eda-942365e851bb |
92c4bc87dd822eb56d932165b2063617aa81b1d0 |
|
05-Dec-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
tied output of parser rejects to -v6 and above
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16505 cec4b9c1-7d33-0410-9eda-942365e851bb |
3a4e4b63ee2f25e6cb52525e68570115f88fa1ec |
|
05-Dec-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed errors - importing functional again
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16504 cec4b9c1-7d33-0410-9eda-942365e851bb |
9433b031fce363ee61fa3b16c89d6066a7918023 |
|
05-Dec-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
started refactoring parsing for hollight - errors remaining
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16503 cec4b9c1-7d33-0410-9eda-942365e851bb |
4840e920f9caeeacae35fc902b0fe720ee0e8dcb |
|
29-Nov-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added garbage-collection before building image
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16494 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ad9bcb1be234d475541a44c750ecf6f57294dce |
|
28-Nov-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed checkpointing in hollight
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16491 cec4b9c1-7d33-0410-9eda-942365e851bb |
79fd571b2ab0f7b6eef820680c3a63ba4f7b97ef |
|
22-Nov-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed exception thrown by export.ml
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16481 cec4b9c1-7d33-0410-9eda-942365e851bb |
eabf492e5a1e592fc0dc87ac9b47c1055bf5a6a0 |
|
18-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored importData
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16473 cec4b9c1-7d33-0410-9eda-942365e851bb |
0741da2c6156dc2bbcc012926dca547ba21a0e3c |
|
17-Nov-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed DG computation in HolLight import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16466 cec4b9c1-7d33-0410-9eda-942365e851bb |
ddf62c7d08307fd8f842d9e61eda1d14a1632f38 |
|
17-Nov-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
changed a few imports in HolLight2DG.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16465 cec4b9c1-7d33-0410-9eda-942365e851bb |
eb129032d23e4a485db6e6c2f67f3bb32f28fc6e |
|
17-Nov-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
integrated hollight call into hets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16464 cec4b9c1-7d33-0410-9eda-942365e851bb |
3596e64ec2f7c1d70dc4e975f7e3ec23a8e1eb67 |
|
06-Oct-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed more issues with the Comorphism HolLight -> Isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16237 cec4b9c1-7d33-0410-9eda-942365e851bb |
6f3b0aa6cccf5105b22a1ae366ff59706538d937 |
|
04-Oct-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16212 cec4b9c1-7d33-0410-9eda-942365e851bb |
17b67b127817858494da1ee85e2922b1bbb33fd5 |
|
26-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not store type variables as types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16172 cec4b9c1-7d33-0410-9eda-942365e851bb |
c208973c890b8f993297720fd0247bc7481d4304 |
|
05-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
splitted off plain data types for dev-graphs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15905 cec4b9c1-7d33-0410-9eda-942365e851bb |
0fa7a99c279b7b59df56d86c3ada137b191fe8eb |
|
03-May-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed a few problems with signature generation in hollight and translation to isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14997 cec4b9c1-7d33-0410-9eda-942365e851bb |
093d90ea41a2a0d93d6b26d44341061548487108 |
|
21-Apr-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
finished changes to scripts for exporting from hol light
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14978 cec4b9c1-7d33-0410-9eda-942365e851bb |
821a3eed99308efb01c25014f9fbc9aeb62265bb |
|
06-Apr-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
changed importing from hollight
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14861 cec4b9c1-7d33-0410-9eda-942365e851bb |
ae20fe3ef7832827a9ee018899f30eeae98a706d |
|
09-Mar-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
hol light: fixed misc. compiler warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14683 cec4b9c1-7d33-0410-9eda-942365e851bb |
a6c883b6eaec47ce57e62656b09577cab13e1be7 |
|
07-Mar-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
hol light: fixed sentence naming
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14673 cec4b9c1-7d33-0410-9eda-942365e851bb |
6164cea1d448f9e9dccd9b4c79e57763b2758dde |
|
07-Mar-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
changed comorphism HolLight -> Isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14671 cec4b9c1-7d33-0410-9eda-942365e851bb |
68f2efb1a2c017dd66b8217c1c609a0548878538 |
|
04-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed lib name for testing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14661 cec4b9c1-7d33-0410-9eda-942365e851bb |
7fb2ba4e60158a3643a0d721b9bc774685af6b46 |
|
05-Feb-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
changed node name generation in hollight2dg
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14497 cec4b9c1-7d33-0410-9eda-942365e851bb |
a939227ed9754db44fcabc43c7ef10d5f813e95f |
|
05-Feb-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed global theory generation for hol2hets dg generation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14496 cec4b9c1-7d33-0410-9eda-942365e851bb |
b93d7514eff107392e0ee8d7b659320fed06d64c |
|
05-Feb-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
changed signatures and fixed bugs in comorphism hol light -> isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14494 cec4b9c1-7d33-0410-9eda-942365e851bb |
3dfdf17a4bbad3dde93fab8ac588d5acda8a6f42 |
|
04-Feb-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
changed signatures in HolLight
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14486 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b38990d9bbe5101e892598002be9f7de5493c9b |
|
24-Jan-2011 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added example HolLight/example_binom.hol, added import links to importing from hol light
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14418 cec4b9c1-7d33-0410-9eda-942365e851bb |
1290d4f771dd6dae8b1e96d0e0a0e5f86ac0b9a3 |
|
15-Dec-2010 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added library support to exporting from hol light
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14320 cec4b9c1-7d33-0410-9eda-942365e851bb |
bfe97b511e76495373d74a14600fb54281234669 |
|
07-Dec-2010 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed HolLight Signatures and modified HolLight Signature pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14289 cec4b9c1-7d33-0410-9eda-942365e851bb |
31d6d9286988dc31639d105841296759aeb743e0 |
|
05-Dec-2010 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added pretty printing for hol light
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14285 cec4b9c1-7d33-0410-9eda-942365e851bb |
a166da43d4e8f9dfa7a2651d033c6bea02627ca6 |
|
05-Nov-2010 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
reading in HOL-light generated files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14197 cec4b9c1-7d33-0410-9eda-942365e851bb |
adfd71a7fa084536296230d604dc36dee007ebbe |
|
25-Oct-2010 |
Jonathan von Schroeder <sternkinder@gmail.com> |
fixed further problems with import - some problems + integration remaining
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14160 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7a9762d7abeacb5cd6d74a8d0c6207b66688953 |
|
25-Oct-2010 |
Mihai Codescu <mcodescu@informatik.uni-bremen.de> |
fixed some errors, some left
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14158 cec4b9c1-7d33-0410-9eda-942365e851bb |
a054459f62eab27f718decc40a2e200d425b42de |
|
25-Oct-2010 |
Jonathan von Schroeder <sternkinder@gmail.com> |
probably not yet working - import from hol light to hets not yet integrated
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14156 cec4b9c1-7d33-0410-9eda-942365e851bb |