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 |
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 |
7ae67d07c8b605503c300a7da2d11974a2702904 |
|
21-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
allowed also a basic specs following data
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8878 cec4b9c1-7d33-0410-9eda-942365e851bb |
167414650dc57c11c13ba85253f0211b3de0ecc5 |
|
20-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
only use PROCESS_PART as CspCASL basic spec
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8874 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 |