| 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 |
| 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 |
| 8400689f5338073e0f5fe1ae9a1cdb658c2db83b |
|
24-Sep-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - allow multiple renamings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8893 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 |
| 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 |