| adce8375991a372444ab995895442dca6faf9677 |
|
05-Mar-2008 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - bugfix in static analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9689 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a09bfcbcb0fba5663fca1968aa82daebf2e092c4 |
|
29-Jan-2008 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - improvements to event parsing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9490 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 197888c54795ec1e79e77289b7e20436a6db74c0 |
|
02-Jan-2008 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - more pretty print tweaking, and added another example
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9405 cec4b9c1-7d33-0410-9eda-942365e851bb |
| eeaf0a8a1dc535d105904a2190f26c0835ecf429 |
|
30-Nov-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - added static check for local top elements in subsort relations specified in data part
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9278 cec4b9c1-7d33-0410-9eda-942365e851bb |
| f909337bf7012aca169c0b56b89efbd4a310f8da |
|
10-Oct-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - added process declarations and channel declarations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9028 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 567db7182e691cce5816365d8c912d09ffe92f86 |
|
20-Sep-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - starting to expand process part beyond single process definition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8872 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4 |
|
29-Apr-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - debugging parser and tests
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7853 cec4b9c1-7d33-0410-9eda-942365e851bb |
| edc768ab3a40d51bf18761330cfc4b4d460c0822 |
|
01-Mar-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - code beautification
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7582 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 4eaeba586d49aa0761ee2bb6d20efba91562cef6 |
|
26-Feb-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - added some more test cases (from Markus' TCS paper)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7557 cec4b9c1-7d33-0410-9eda-942365e851bb |