| 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 |
| 05b3e12808da901dccd665715cb934462290d550 |
|
02-Jan-2008 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - small improvements to pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9404 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 61051521e4d82769a47f23aecb5fb477de47d534 |
|
25-Sep-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
Use CspBasicSpec (with (currently unused) channels) instead of PROCESS_PART
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8906 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 8c02ef213ee0ed22696320342089e73b602af8f6 |
|
24-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
try to parse a basic spec first and only afterwards a groupSpec without lookAhead
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8899 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9bf2e821ea5dc827aad8a092bd90bd587f8acb09 |
|
23-Sep-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - tidied/refactored process parser; added named process parsing (broken?)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8892 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 04ceed96d1528b939f2e592d0656290d81d1c045 |
|
23-Sep-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - now parsing families of process equations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8891 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 |
| c01168f53431b6ad785bf8a8b12bd3a60b93b9b4 |
|
19-Sep-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - working on outermost concrete syntax of ccspec parsing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8871 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d40dd10adffcf341489a1310092fcc99de75f225 |
|
17-Apr-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - more work on testing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7824 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 2cf5a456da8bb3a2bbb695414d8304426e3bd277 |
|
08-Mar-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - preliminary work on test case framework
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7625 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 |