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 |
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" |
88aa478b56d02d4fad90a604de2dd12ceef25694 |
|
28-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added extraction |
e8b91b8571b73f2381bed87cb3ea95c76a4201b2 |
|
16-Jul-2013 |
Marcel Zirbel <Marcel.Zirbel@dfki.de> |
DOL's minimize
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18044 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0925d14deeb1c13acac06d746ea985ec53ee35c |
|
03-May-2013 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
approximations added (first incomplete version)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17936 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 |
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 |
2fe2863538d1eeb8170c949ffd67813266551dd7 |
|
11-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
used scan to convert comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16796 cec4b9c1-7d33-0410-9eda-942365e851bb |
06702a607da09e0f4c3ec471da46c09f5fe7c01b |
|
11-Apr-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
try arch specs before unit specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16795 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 |
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 |
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 |
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 |
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 |
a12303744028f8a7a0bd83e0ca9dbf9b5b3f9c58 |
|
16-Mar-2006 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed typo
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6035 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 |
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 |
6d00d8089fddadb7afe31bb1e9386e5e38474796 |
|
21-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up imported keywords
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3705 cec4b9c1-7d33-0410-9eda-942365e851bb |
3cd3940a23fd75539f2c478021ce049f08d71843 |
|
21-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
untabified and made more uniform
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3699 cec4b9c1-7d33-0410-9eda-942365e851bb |
02ddd38ced117781cfe95e6d6224f152c435d3e2 |
|
20-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
reused more code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3698 cec4b9c1-7d33-0410-9eda-942365e851bb |
957e7781d6d8aca94ff57186653837481206b47e |
|
20-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed component_ref and simplified unit_spec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3692 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa3833ff4dad97e760264971215091d6f49d3766 |
|
14-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
inserted imported stuff again
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3672 cec4b9c1-7d33-0410-9eda-942365e851bb |
4e521879e36515b983525ff9a4ea82ba44e5bbff |
|
13-Jan-2005 |
Christian Maeder <Christian.Maeder@dfki.de> |
added new refinement specs (unfinished)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3671 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 |
695b8be251f84a2f288fcdda0a990a69bd8f9941 |
|
25-Mar-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed CASL default logic
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2324 cec4b9c1-7d33-0410-9eda-942365e851bb |
5f99d887daaf0301c16d98c10c729fcfebd6d06d |
|
26-Feb-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Corrected the Haddock header comments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2226 cec4b9c1-7d33-0410-9eda-942365e851bb |
cac1c2401baa133dec19d96c5b25a79f6e352dae |
|
26-Feb-2004 |
Maciek Makowski <maciek@mmakowski.com> |
Added comments on how the unit types and spec names are handled when parsing unit specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2224 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 |
1e82093910dbd6fbcf5801e0c7819337527d8679 |
|
09-Feb-2004 |
Maciek Makowski <maciek@mmakowski.com> |
added closed unit spec parsing
corrected fragments that caused warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2125 cec4b9c1-7d33-0410-9eda-942365e851bb |
317df55664f2e4b20a29402099295b6c8a5ebfe2 |
|
09-Feb-2004 |
Maciek Makowski <maciek@mmakowski.com> |
renamed groupSpecs to unitArgs
fixed unitArgs parsing
fixed the backtracking problem in several functions (call to try added)
implemented parsing of group arch specs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2115 cec4b9c1-7d33-0410-9eda-942365e851bb |
3dfe46137de1d3330727fedd22babe510531f35f |
|
02-Feb-2004 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed overlapping instance comment
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@2051 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 |