b9577b7d6fe4a69c6b3322e7d806c4e45f57fb4d |
|
24-Oct-2017 |
Till Mossakowski <till@iws.cs.ovgu.de> |
disable check for DOL in parsing generics |
2fffd97efb53c792854c1557a87fd4f994e5a2b3 |
|
13-May-2016 |
mcodescu <mscodescu@gmail.com> |
static analysis of networks, renamed graphs to networks |
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 |
9784417c60301832780850e1ff9d7e46706268f1 |
|
25-Feb-2016 |
Till Mossakowski <till@communtu.de> |
references to DOL standard, part 3 |
0967589537305a591af121d348517f27c41a9d96 |
|
25-Feb-2016 |
Till Mossakowski <till@communtu.de> |
references to DOL standard, part 2 |
447297388c9a0f8f4b2090a5c20e61a360be7d62 |
|
25-Feb-2016 |
Till Mossakowski <till@communtu.de> |
references to DOL standard |
d5bb3b0ff7a393a2d9cedfab1bea842d48a839ad |
|
09-Dec-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
parse a whole and onyl OMS in an equivalence |
a22f6c349ecfc760b4d250eaaebe49db49767feb |
|
09-Dec-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
extended entailment type |
14a88f07e42431878c236713038575f4f554a756 |
|
09-Dec-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
make network end non-optional to improve errors |
b9b835420fb1a455027aa7e234378268a20b37ea |
|
09-Dec-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added optional end to module-defn |
a3efc26335366e2333d06e738cf0389ff95176dc |
|
09-Dec-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
reuse string constants |
e217738bea028d457d51ec7234532dded0f20b4c |
|
09-Dec-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
allow distributed-ontology as library keyword |
ce209403c5d4f8a3126a2bf26b2356e6ae54470c |
|
21-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
only parse GroupOMS and make excluding optional |
ab7ad3140f34d3d56d844122ee03e56c3adba9ab |
|
19-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
check %complete annotation properly |
5485c548a1f430afd2029cc7cba65fd66a019fb9 |
|
19-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
result is already a keyword (and illegal as library name) |
e3a9147a74ebfba681ab0a4ac3f22192f600ec88 |
|
19-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added parsing of QueryRelatedDefn |
5fee2261e6cd08951dadfa48df5cdd1641b671a8 |
|
18-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added optional assuming AlignSem |
9f75362500e68e379bbe1106ccaa078bfc54aafd |
|
13-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
refactored ModuleRelDefn and removed many type synonyms |
4646d2a52641d50df02fc5c68c275607cf79c398 |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
adjusted equiv-defn |
aa0f5bca984ed6ea99f01dffdb78885083a36d78 |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added entailment |
2d1e8828f82e308b8616085f9139d2fa363e2fe8 |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
keyword translation is now parsed by parseMapping |
72b8c0349a58cf0eb361cb5bb410d95a0372900a |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
shared Network after combine and as lib-item |
dc62afbf79603699b39b2387f48298634f642e67 |
|
12-Nov-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
copied changes for dol-parsing into new branch |
39f54506ddf420d74afeeec4065ebf7222aca364 |
|
31-Oct-2014 |
SillyCodeValley <SillyCodeValley@users.noreply.github.com> |
Revert "1366 dol parsing" |
8ef70196584e8434e432f2cecf1d46d92059a9f5 |
|
30-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
join refinement and view |
a993553bae65d5547b01fed33b3f1442b6663582 |
|
28-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
just cleaned up |
9f4332f23dbd8732d4e2eee9dbe1d69d9268e62b |
|
27-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
ExcludeExtension is not optional |
291ccdce81331755afed9178899c2adbb96b9f24 |
|
23-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added IntrDefn |
a983937659ae317551bbc9dcb4acd26cd50617e6 |
|
20-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
started dol only parsing |
ab53b2d1773ac020b0df4cc9edeb0debe12e7a09 |
|
25-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
refactored lib-name to also store the mime-type, fixes #1338 |
3c0010d5aa30f49c4d1dc579d394c48804a0bd97 |
|
19-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
renamed constructor, too |
1f2c732265a1292f0d7c51a4a7ca6be5dd370df6 |
|
19-Aug-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
replaces keyword diagram by graph |
743178d5294deadc2ed15e56b5e58ca0e7101fe4 |
|
02-Apr-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
added diagram as described in #1257 (and adjusted keywords)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18567 cec4b9c1-7d33-0410-9eda-942365e851bb |
ad7a1aea1e516e89649497daf9ed8e165eac352d |
|
08-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow to create unique or named download items #1230 #1226
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18431 cec4b9c1-7d33-0410-9eda-942365e851bb |
34b91d5f66992fd04bfaad5076a21369c41448b3 |
|
07-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to replace old download of missing specs #1226
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18428 cec4b9c1-7d33-0410-9eda-942365e851bb |
9fe7f3d3fba58c1892ba8fea90b144eced88ca4f |
|
06-Jan-2014 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused view-type for align-type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18421 cec4b9c1-7d33-0410-9eda-942365e851bb |
eb3092e3968a7d05b3365eaff1e97ab704036e97 |
|
16-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed more iris in place of simple ids
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18392 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd9ab23d84f402532a6b651f6463e0c3bdb60cfd |
|
06-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed vom IRI stuff that we do not need
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18370 cec4b9c1-7d33-0410-9eda-942365e851bb |
745ea99df3f8aa67882251530d2f2b41e65603da |
|
05-Dec-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
create empty library name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18365 cec4b9c1-7d33-0410-9eda-942365e851bb |
db6729e623b4053149084ccf4b35e5308ac7e359 |
|
27-Nov-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to IRIs in LibName #1155
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18336 cec4b9c1-7d33-0410-9eda-942365e851bb |
4f7b28758615c7caa1c976dc72023b8e0d2b4b0e |
|
22-Oct-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
unified printing and parsing of align arities
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18278 cec4b9c1-7d33-0410-9eda-942365e851bb |
ed1ab8c6ac8608f9f611aeb033a5871e02be52b5 |
|
22-Oct-2013 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up using scan and hlint
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18277 cec4b9c1-7d33-0410-9eda-942365e851bb |
ecc41b9e2d14a3f43c231251a16fadb08b38f5b7 |
|
20-Aug-2013 |
Marcel Zirbel <Marcel.Zirbel@dfki.de> |
DOL equivalences added to parser; Pretty instance still missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18133 cec4b9c1-7d33-0410-9eda-942365e851bb |
c8860ed27f3aeb6725fb47da42916b9555653ed1 |
|
10-Nov-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
automatically 'use' unknown IRIs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17617 cec4b9c1-7d33-0410-9eda-942365e851bb |
acf864719a88d9049259c4c04a7c5879a1b6a8e3 |
|
04-Nov-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
fixed 'use' keyword to support 'foo#bar' notation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17603 cec4b9c1-7d33-0410-9eda-942365e851bb |
c770b05f3d85f8eeb25ba15f7192044f9dd534dd |
|
02-Nov-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
introduce preliminary 'use' command and try file name extensions even for non-local imports
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17602 cec4b9c1-7d33-0410-9eda-942365e851bb |
f50df84ef288927f699d497ec008cec43fad16ab |
|
09-Oct-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
prefix map fixes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17501 cec4b9c1-7d33-0410-9eda-942365e851bb |
d0916b96ca9f90822c0bb6062b13d5de83bf410a |
|
03-Oct-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
recognize IRIs for "logic" and "serialization"
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17475 cec4b9c1-7d33-0410-9eda-942365e851bb |
48cbe3ad72492dd8518ef423d6e2e5d9244bfbeb |
|
28-Sep-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
check serialization as soon as possible
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17446 cec4b9c1-7d33-0410-9eda-942365e851bb |
1596a4d2cc01bff500afdd3789a43ec93210e81f |
|
21-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
remove modification time from lib-name
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17217 cec4b9c1-7d33-0410-9eda-942365e851bb |
83306f7ec5b5a2c4e546b5d74a96e8a25dec1da6 |
|
13-Aug-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
simplified restrictionSignature
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17181 cec4b9c1-7d33-0410-9eda-942365e851bb |
11dbf7f1263f426f6bbc53c5b99a98e2344a92a4 |
|
06-Aug-2012 |
Soeren D. Schulze <soeren.d.schulze@gmx.de> |
recognize CLIF as a serialization for CommonLogic,
added parser + pretty printer support for DOL modules,
minor cleanups
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17119 cec4b9c1-7d33-0410-9eda-942365e851bb |
6c244f12ab0dc7ba1baf1413266093886a570e13 |
|
03-Aug-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended Logic_name to LogicDescr
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17098 cec4b9c1-7d33-0410-9eda-942365e851bb |
213d4ca73d95296397abc0d34dc91f5da648af60 |
|
10-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
warn about void renaming of items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17026 cec4b9c1-7d33-0410-9eda-942365e851bb |
a670ae262852ddcf674185307f9c343d42719ea2 |
|
10-Jul-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
treat identity item mappings like no renaming
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17025 cec4b9c1-7d33-0410-9eda-942365e851bb |
55b14de0878c596dc00920ecac65bab478e930e8 |
|
22-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed more simple ids to IRIs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16963 cec4b9c1-7d33-0410-9eda-942365e851bb |
90a88db8acda50430782e64f4fa2c21c421a3394 |
|
16-Jun-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
first part of module parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16948 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd13764ad5961802a225df126940d6b0e6f1f18a |
|
11-Jun-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
prepared for term parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16894 cec4b9c1-7d33-0410-9eda-942365e851bb |
43cd215099ce01d93b6cd6b9f8b86dd53897fe8a |
|
09-Jun-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
implemented part of alignment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16880 cec4b9c1-7d33-0410-9eda-942365e851bb |
93de52b6dd0e90545e20294ff57c68153a5b1229 |
|
05-May-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
removed redundant import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16848 cec4b9c1-7d33-0410-9eda-942365e851bb |
c15ec07a900ff061dab9f34dabfa4e2de81855c3 |
|
05-May-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
fixed logic-ref expansion #1035
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16847 cec4b9c1-7d33-0410-9eda-942365e851bb |
f8065e835104ae5eaa148e9b37a81e768990724b |
|
01-May-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added IRI expansion on library/structure/architecture level
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16844 cec4b9c1-7d33-0410-9eda-942365e851bb |
5e01ba94cb504e8bee124807390e9c2b49be8c7d |
|
10-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
cleaned IRI code, removed IRIType, changed iriToStringX functions to use brackets on full IRI, fixed IRI expansion bug
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16775 cec4b9c1-7d33-0410-9eda-942365e851bb |
b7d237b794c06f49f51d4a9a7c1005d5a4de7a57 |
|
10-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
used a restricted IRI parser for HetCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16773 cec4b9c1-7d33-0410-9eda-942365e851bb |
ca2191c20d3268aad40a2f7a3cd9cba870bb9508 |
|
10-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16771 cec4b9c1-7d33-0410-9eda-942365e851bb |
ea39a854498febb718cbdd6035fb935fd145daac |
|
06-Apr-2012 |
Eugen Kuksa <eugenk@informatik.uni-bremen.de> |
added DOL-parser, serialization syntax, prefix-map into GlobalAnnotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16768 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 |
3fea26a73b8fa69b22dfd2653d8f7bdacb45b9c9 |
|
17-Feb-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented #993
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16662 cec4b9c1-7d33-0410-9eda-942365e851bb |
53ea24e19dbd4ca72fd75ab3a3105dc9f99e4f81 |
|
09-Sep-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow logic names being followed by spec names in parens
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16114 cec4b9c1-7d33-0410-9eda-942365e851bb |
8f79497ef6a7cf6641417feedb127f89652083b8 |
|
25-Aug-2011 |
Iulia Ignatov <i.ignatov@jacobs-university.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16025 cec4b9c1-7d33-0410-9eda-942365e851bb |
1584a6ae7a65f19507aae1dfc2a7a3669a90ba5f |
|
25-Aug-2011 |
Iulia Ignatov <i.ignatov@jacobs-university.de> |
correction for newcomorphism analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16020 cec4b9c1-7d33-0410-9eda-942365e851bb |
ff0e7e7afff442e311720c21bca1f7c12acc48bb |
|
22-Aug-2011 |
Iulia Ignatov <i.ignatov@jacobs-university.de> |
newcomorphism case for Parse_AS_Library
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15994 cec4b9c1-7d33-0410-9eda-942365e851bb |
2cb6df4f21c52732336579a79f7e5d28299b3500 |
|
16-Aug-2011 |
Iulia Ignatov <i.ignatov@jacobs-university.de> |
morphism parser added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15973 cec4b9c1-7d33-0410-9eda-942365e851bb |
6ccaeced9d4aa7b1c0268eea85e2b6118ee1dff7 |
|
15-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
keep current logic in sync between parsing and static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14920 cec4b9c1-7d33-0410-9eda-942365e851bb |
f915553c470a7ae875e31d57d34c30e16432b07e |
|
04-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed trailing spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14843 cec4b9c1-7d33-0410-9eda-942365e851bb |
109f89c82ec8769e9ec81bc967987b5deecdfd25 |
|
17-Feb-2011 |
Kristina Sojakova <kristinas@cmu.edu> |
Added foundation into the syntax for new logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14581 cec4b9c1-7d33-0410-9eda-942365e851bb |
598de8bf0809629afec1d5e9069c0e0dffc2fb87 |
|
21-Jan-2011 |
Kristina Sojakova <kristinas@cmu.edu> |
Made proofs and models optional in the definition of a new logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14416 cec4b9c1-7d33-0410-9eda-942365e851bb |
d2786879b4733fd4886a5b654f7c6de1d234f638 |
|
21-Jan-2011 |
Kristina Sojakova <kristinas@cmu.edu> |
Implemented signature unions for LF and user-defined logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14406 cec4b9c1-7d33-0410-9eda-942365e851bb |
3df50f2bdc19d6aa0d3ee0ecac5ad7ad785ddb45 |
|
17-Jan-2011 |
Kristina Sojakova <kristinas@cmu.edu> |
Modified syntax for declaring new logics
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14383 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 |
27bdba808fa9637ef10b739233fde57c77245f5d |
|
16-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
Added parsing of DDottedId's in newlogic specifications
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13603 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f3bcea983c10541707825ac1a026d8133efaab1 |
|
16-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow double dots in simple ids following keyword get
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13600 cec4b9c1-7d33-0410-9eda-942365e851bb |
f20841e0b3d9311fd39f2615e43538214f720dd5 |
|
11-Jun-2010 |
Kristina Sojakova <kristinas@cmu.edu> |
Imports are now handled at the library level
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13580 cec4b9c1-7d33-0410-9eda-942365e851bb |
a2dc991f31167f1aee64caff6b02aafef12c000c |
|
09-Jun-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
liberalized library identifiers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13561 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 |
60b5dc9547c8e085710d5ca17f4096e9fe4535c7 |
|
26-Feb-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
use optionMaybe
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13126 cec4b9c1-7d33-0410-9eda-942365e851bb |
5ef30bf06184652cee36401f2eb4ef98e49e1321 |
|
23-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
better support one unamed spec and an unnamed library
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12494 cec4b9c1-7d33-0410-9eda-942365e851bb |
e49fd57c63845c7806860a9736ad09f6d44dbaed |
|
23-Sep-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored, camel cased, library names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12493 cec4b9c1-7d33-0410-9eda-942365e851bb |
4c207cfde41edb6509b80c39d1e62098c76b3ce8 |
|
27-Mar-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
used intercalate
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11620 cec4b9c1-7d33-0410-9eda-942365e851bb |
697e63e30aa3c309a1ef1f9357745111f8dfc5a9 |
|
22-Sep-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated library names from HetCASL libraries
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10708 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 |
5f8a1c85edf165485d08125de182054170de681c |
|
04-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
tested for empty spec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9514 cec4b9c1-7d33-0410-9eda-942365e851bb |
4b0e0613129ebfc53e3e87985c20a537da91d18d |
|
09-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
take default logic from command line options
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9015 cec4b9c1-7d33-0410-9eda-942365e851bb |
1cbee24256e1c03a06103283c9dd8dcd97a10f70 |
|
08-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added the current logic to the logic graph
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9003 cec4b9c1-7d33-0410-9eda-942365e851bb |
906ef80f8176b11a70a6c459d7f75d26d7d437ae |
|
02-Oct-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed AnyLogic as parser state
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8981 cec4b9c1-7d33-0410-9eda-942365e851bb |
e5b8c08d9791f185227293f18977187ac345c250 |
|
13-Aug-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added export (and import) lists
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8599 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 |
c4040537e6f2153af475dd8b07260a1ee9a56ac0 |
|
14-May-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
used ClockTime for modification time
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7901 cec4b9c1-7d33-0410-9eda-942365e851bb |
70d01ccb07ab33f912bb912d285d4b675fcaa008 |
|
12-May-2007 |
Thiemo Wiedemeyer <raider@informatik.uni-bremen.de> |
Added a field for the last modification time of a libfile. This is needed to implement the reloadfunction, that only reloads changed libfiles.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7895 cec4b9c1-7d33-0410-9eda-942365e851bb |
dc693ae883096a1ee8a9e1edd217357bfeec0f8f |
|
12-Mar-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added original file path to indirect links of LIB_ID
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7647 cec4b9c1-7d33-0410-9eda-942365e851bb |
0f2be8b95750f4ac578e8a92ac6ef73b48526580 |
|
22-Feb-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
moved things from todo lists into Trac
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7514 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 |
719adbbd409e2dd54ee03348cd0e2aa4c8bdeca0 |
|
16-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
use equalT and dotT
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6032 cec4b9c1-7d33-0410-9eda-942365e851bb |
d81253dc39bce20624ff34705b69f62bd3f46a50 |
|
26-Jan-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
separated trailing and preceding annotations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@5718 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 |
2551d250bd9b64e91901ba467bdc4d3a12b5de23 |
|
27-Jul-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@4801 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 |
704c2a3f6a085d60339b9213731e09d0f57e3c5f |
|
14-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added ref spec defns
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3676 cec4b9c1-7d33-0410-9eda-942365e851bb |
c5e796d8b11d780e931eac20a59907a728118797 |
|
21-Dec-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Stupid bug fixed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3587 cec4b9c1-7d33-0410-9eda-942365e851bb |
57aca92a2e383fd041ff03a1d3255ad6c2c9ed68 |
|
21-Dec-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
__* empty log message __*
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3586 cec4b9c1-7d33-0410-9eda-942365e851bb |
63d96af15dbe567c31f1fa3b8152b263d1425c90 |
|
21-Dec-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
use state of parser for storing current logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3585 cec4b9c1-7d33-0410-9eda-942365e851bb |
9d497e0c39b5934506691f80983ecf1c6ea4c7b5 |
|
21-Dec-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Made parsers monorphic (with AnyLogic)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3584 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 |
9d34a8049237647d0188ee2ec88db2dc45f1f848 |
|
19-Dec-2004 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Made heterogeneous spec CCS_Automaton go through; inserted true unions of Grothendieck signatures everywhere
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3574 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 |
0cb5f9c8582ad87ceef1c16b5d92347ae0878019 |
|
10-Nov-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
introduced new Pos type in Id
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3413 cec4b9c1-7d33-0410-9eda-942365e851bb |
a2614341e30e098fe13f8fb6307c96ea7074736c |
|
01-Jul-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid endless loop by empty basic specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2909 cec4b9c1-7d33-0410-9eda-942365e851bb |
79831982ddcb41676a033e6f5ab1d60343de1539 |
|
17-Jun-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
take defaultLogic from command line
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2882 cec4b9c1-7d33-0410-9eda-942365e851bb |
7da76c70a50a712205b23c9451e598abe63664ff |
|
07-May-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed Parsec.Char import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2562 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 |
20b9ab5bc4505e5917de44a7495441327da02195 |
|
09-Feb-2004 |
Maciek Makowski <maciek@mmakowski.com> |
corrected fragments that caused warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2126 cec4b9c1-7d33-0410-9eda-942365e851bb |
44fc7045931db588d16f98474e2a086cec2eac20 |
|
09-Feb-2004 |
Maciek Makowski <maciek@mmakowski.com> |
added unit spec parsing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2114 cec4b9c1-7d33-0410-9eda-942365e851bb |
49b9a9cbf17489cbaf97431247161f42e9fc5ae0 |
|
05-Nov-2003 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
Adapted to Haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1822 cec4b9c1-7d33-0410-9eda-942365e851bb |
d410c66e2c3e16d75ef1066b501a539b08682ac3 |
|
04-Nov-2003 |
Maciek Makowski <maciek@mmakowski.com> |
added Syntax/Parse_AS_Architecture.hs and Syntax/Parse_AS_Library.hs
a preliminary version of architectural spec parser implemented
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@1820 cec4b9c1-7d33-0410-9eda-942365e851bb |