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 |
feeab95fdf7ec92bcce607c104d9dc98e0e6ea90 |
|
08-Oct-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
introduced new API for prefixes and applied this to CommonLogic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17489 cec4b9c1-7d33-0410-9eda-942365e851bb |
814905815d4957db557b6132d188f45222e8b873 |
|
26-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended ExtModal syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17060 cec4b9c1-7d33-0410-9eda-942365e851bb |
f6a16d60a0d5c672e5525ec04b82373e754b2fac |
|
24-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to omit semicolons or use a comma instead
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14626 cec4b9c1-7d33-0410-9eda-942365e851bb |
4ac9fad8454f66963e8985a41e061653147d4d60 |
|
15-Feb-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted CASL parsing for FPL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14540 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 |
10b02b2343246df6773585636fe3ddbefa3b6a1b |
|
04-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored parsers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13160 cec4b9c1-7d33-0410-9eda-942365e851bb |
2c47bb55d963ff37dbae4a0a7701274fddb95fc8 |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12727 cec4b9c1-7d33-0410-9eda-942365e851bb |
97279257021fd703f25019ae8869d86f455d1ea1 |
|
26-Oct-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12725 cec4b9c1-7d33-0410-9eda-942365e851bb |
a480b70e29a3ed7e77b89e410fd7bbab3e5a7e67 |
|
14-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
shortened too long lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10313 cec4b9c1-7d33-0410-9eda-942365e851bb |
61e38a4f194d3adc66646326c938eb9263a2f39b |
|
10-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
renamed functions over Range from Pos to Range
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10299 cec4b9c1-7d33-0410-9eda-942365e851bb |
5237288e0fced9cc539c5824f13c6159759e1949 |
|
29-Apr-2008 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
produce esorts also for etypes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9987 cec4b9c1-7d33-0410-9eda-942365e851bb |
c7f5076658d72ea340d7fd8a648908f961af682d |
|
16-Jan-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented etypes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9439 cec4b9c1-7d33-0410-9eda-942365e851bb |
4d4ec273e5cb1f17985c6edcf90a295a8b612cef |
|
04-Dec-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added esort to CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9288 cec4b9c1-7d33-0410-9eda-942365e851bb |
df098122ddc81fe1cb033a151f7305c1dda2dc81 |
|
28-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved parsing of empty basic specs to the heterogeneous level
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8954 cec4b9c1-7d33-0410-9eda-942365e851bb |
8c02ef213ee0ed22696320342089e73b602af8f6 |
|
24-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
try to parse a basic spec first and only afterwards a groupSpec without lookAhead
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8899 cec4b9c1-7d33-0410-9eda-942365e851bb |
819ef30d291cb3d17790271f901b0ca03f2b783f |
|
26-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8486 cec4b9c1-7d33-0410-9eda-942365e851bb |
3f69b6948966979163bdfe8331c38833d5d90ecd |
|
05-Jul-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed my maintainer email
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8261 cec4b9c1-7d33-0410-9eda-942365e851bb |
e6d40133bc9f858308654afb1262b8b483ec5922 |
|
01-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added Description header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7287 cec4b9c1-7d33-0410-9eda-942365e851bb |
0095c7efbddd0ffeed6aaf8ec015346be161d819 |
|
01-Jan-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added Description header
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7284 cec4b9c1-7d33-0410-9eda-942365e851bb |
e953bea49e7f0e1a43bccf2a66c5e2a2b50848e0 |
|
29-Sep-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
expanded tabs to spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5106 cec4b9c1-7d33-0410-9eda-942365e851bb |
42c01284bba8d7c8d995c8dfb96ace57d28ed1bc |
|
15-Jul-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
refactoring: [Pos] replaced with Range in order to exclude positions from equality of abstract syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4671 cec4b9c1-7d33-0410-9eda-942365e851bb |
f3a94a197960e548ecd6520bb768cb0d547457bb |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
aligned module description for haddock-0.7
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4438 cec4b9c1-7d33-0410-9eda-942365e851bb |
97018cf5fa25b494adffd7e9b4e87320dae6bf47 |
|
15-Jun-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Licence with License for haddock-07
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4433 cec4b9c1-7d33-0410-9eda-942365e851bb |
b4fbc96e05117839ca409f5f20f97b3ac872d1ed |
|
13-Jun-2005 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added maintainers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4412 cec4b9c1-7d33-0410-9eda-942365e851bb |
b645cf3dc1e449038ed291bbd11fcc6e02b2fc7f |
|
09-May-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed all position infos to [Pos]
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4224 cec4b9c1-7d33-0410-9eda-942365e851bb |
891964ed616e02baab4edd0ae7699016ffc06f27 |
|
25-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed more annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3714 cec4b9c1-7d33-0410-9eda-942365e851bb |
9649121fccc566b6101dbed1da91893243c011bb |
|
20-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed result type of optSemi
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3697 cec4b9c1-7d33-0410-9eda-942365e851bb |
414ffa281d82f05a2d742c702f8e06b0cb05b229 |
|
20-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made AParser polymorphic in further user state component
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3578 cec4b9c1-7d33-0410-9eda-942365e851bb |
35db0960aa2e2a13652381c756fae5fb2b27213b |
|
06-Dec-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced Common.Lib.Parsec with Text.ParserCombinators.Parsec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3524 cec4b9c1-7d33-0410-9eda-942365e851bb |
50dce6b011347f92377adb8bbabaeeb80975e86d |
|
21-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
made CASL parsers accept an additional keyword list
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2447 cec4b9c1-7d33-0410-9eda-942365e851bb |
883bf3c8375023039e87cc945fe764ad7e9902f6 |
|
20-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified parsing of 'axiom' list
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2431 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab0f0653d83bd3ebde0f5287e2ea4b1cdc676b5d |
|
20-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
simplified (mainly SIG-ITEMS)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2429 cec4b9c1-7d33-0410-9eda-942365e851bb |
1f086d5155f47fdad9a0de4e46bbebb2c4b33d30 |
|
05-Apr-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Analyzable
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2356 cec4b9c1-7d33-0410-9eda-942365e851bb |
2b4130336e941b7d01c78a6da55449a4c6eca609 |
|
23-Mar-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Refactoring for smooth integration of CASL extensions.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2310 cec4b9c1-7d33-0410-9eda-942365e851bb |
679d3f541f7a9ede4079e045f7758873bb901872 |
|
14-Feb-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Added references to the CASL Reference Manual.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2169 cec4b9c1-7d33-0410-9eda-942365e851bb |
306763c67bb99228487345b32ab8c5c6cd41f23c |
|
12-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
adapted headers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2158 cec4b9c1-7d33-0410-9eda-942365e851bb |
709567bf16e463355e39f59cf37ecba0588ad3c5 |
|
12-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected axioms items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2149 cec4b9c1-7d33-0410-9eda-942365e851bb |
f9e67f746294e44de678a3807e09247d0693490c |
|
20-Jan-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up some Maybe stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1974 cec4b9c1-7d33-0410-9eda-942365e851bb |
296ba15b6d81388d066111b7a573abc08a15f0ec |
|
05-May-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed ItemList and restructured
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1325 cec4b9c1-7d33-0410-9eda-942365e851bb |
2eb84fc82d3ffa9116bc471fda3742bd9e5a24bb |
|
24-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced qualified names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@972 cec4b9c1-7d33-0410-9eda-942365e851bb |
409578f7f6dbee1e10dd1c969328bb92dabd087d |
|
21-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Common.Lib
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@944 cec4b9c1-7d33-0410-9eda-942365e851bb |
daf3b6a9ad8839ca019f14f628bbf237805b493e |
|
20-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@920 cec4b9c1-7d33-0410-9eda-942365e851bb |
ba531d4ac7a2aba48af5745bc5125c7a8f0fa73a |
|
13-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed annos around semiT
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@872 cec4b9c1-7d33-0410-9eda-942365e851bb |
49cd3b8ca4968757bb21874f06de801d2a4764ac |
|
07-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
redefined asKey to collect annotations in CASL and HasCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@851 cec4b9c1-7d33-0410-9eda-942365e851bb |
b8a232442cc858a3ad0f948d643b7d974f678553 |
|
06-Feb-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduce user state for annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@844 cec4b9c1-7d33-0410-9eda-942365e851bb |
1137bdba730990650bb042a7a47b775438a864b6 |
|
29-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
left over final annotations and allowed for an empty basic spec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@791 cec4b9c1-7d33-0410-9eda-942365e851bb |
42e658b3abcb2e11b4a713756163791ea43aeae0 |
|
28-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed annos after item lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@784 cec4b9c1-7d33-0410-9eda-942365e851bb |
2475aa991e8eaddb7aeef0a202b0b2ec04f015ca |
|
28-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed further annos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@782 cec4b9c1-7d33-0410-9eda-942365e851bb |
bd99de2da21d3b29a9192e4b146333225b645a90 |
|
27-Jan-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@779 cec4b9c1-7d33-0410-9eda-942365e851bb |
ead34adfe60723f7df510e5575ac29c0f405763b |
|
14-Jan-2003 |
Christian Maeder <Christian.Maeder@dfki.de> |
reorganized itemList parser for reuse in HasCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@746 cec4b9c1-7d33-0410-9eda-942365e851bb |
cfe294850faf3d3dbcc68828f31c20532ea57557 |
|
06-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
moved code to new files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@601 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c00515630d7306c4ba189f4ef5797e41c828735 |
|
05-Nov-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
reorganized keyword tokens
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@596 cec4b9c1-7d33-0410-9eda-942365e851bb |
d3927688083b3b94ecc6a110d0e5f6be188ada00 |
|
08-Oct-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
added signatures and used layout instead of { ; }
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@494 cec4b9c1-7d33-0410-9eda-942365e851bb |
91849a39b94abfecb7e854930ad280a68699d08c |
|
27-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up Logic.hs (still a mess wrt. default-defs)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@321 cec4b9c1-7d33-0410-9eda-942365e851bb |
bec905e5c4bb6c38bfec8a99e708be483ed496cf |
|
25-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
added symb-items and symb-map-items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@317 cec4b9c1-7d33-0410-9eda-942365e851bb |
3e145667fe30cfeb653d21125646e2cf9ed63795 |
|
25-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
added type signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@316 cec4b9c1-7d33-0410-9eda-942365e851bb |
1aa4382de9a14528928b0dc46288230cadd81909 |
|
06-Jun-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced annotations by annos
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@263 cec4b9c1-7d33-0410-9eda-942365e851bb |
ced07c9898416326e30ad25e1021bbd25217ed1f |
|
17-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed annotations, rearranged Lexer to be used for HasCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@225 cec4b9c1-7d33-0410-9eda-942365e851bb |
1add37b6f8b4ed8f8d3b7da2e7caf5a3e38fa409 |
|
16-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed for annotations between items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@206 cec4b9c1-7d33-0410-9eda-942365e851bb |
205bb6c08f7fa40d27de8d0a4bd153da7b6b03d3 |
|
14-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
smart annotations (and varDecls without annotations)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@199 cec4b9c1-7d33-0410-9eda-942365e851bb |
1ede103929a67cd052386101043ca0244f0dcf43 |
|
08-May-2002 |
Christian Maeder <Christian.Maeder@dfki.de> |
parse basicSpec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@196 cec4b9c1-7d33-0410-9eda-942365e851bb |