Changes in tcs1.cspcasl http://src.iws.cs.ovgu.de/source/rss/hets/CspCASL/test/tcs1.cspcasl en Copyright 2005 Java CspCASL - bugfix in static analysis git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9689 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/test/tcs1.cspcasl - adce8375991a372444ab995895442dca6faf9677 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 /hets/CspCASL/test/tcs1.cspcasl - 197888c54795ec1e79e77289b7e20436a6db74c0 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 /hets/CspCASL/test/tcs1.cspcasl - 05b3e12808da901dccd665715cb934462290d550 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 /hets/CspCASL/test/tcs1.cspcasl - 61051521e4d82769a47f23aecb5fb477de47d534 Andy Gimblett <a.m.gimblett@swansea.ac.uk> 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 /hets/CspCASL/test/tcs1.cspcasl - 8c02ef213ee0ed22696320342089e73b602af8f6 Christian Maeder <Christian.Maeder@dfki.de> 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 /hets/CspCASL/test/tcs1.cspcasl - 9bf2e821ea5dc827aad8a092bd90bd587f8acb09 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 /hets/CspCASL/test/tcs1.cspcasl - 04ceed96d1528b939f2e592d0656290d81d1c045 Andy Gimblett <a.m.gimblett@swansea.ac.uk> 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 /hets/CspCASL/test/tcs1.cspcasl - 7ae67d07c8b605503c300a7da2d11974a2702904 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 /hets/CspCASL/test/tcs1.cspcasl - 167414650dc57c11c13ba85253f0211b3de0ecc5 Christian Maeder <Christian.Maeder@dfki.de> 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 /hets/CspCASL/test/tcs1.cspcasl - c01168f53431b6ad785bf8a8b12bd3a60b93b9b4 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 /hets/CspCASL/test/tcs1.cspcasl - d40dd10adffcf341489a1310092fcc99de75f225 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 /hets/CspCASL/test/tcs1.cspcasl - 2cf5a456da8bb3a2bbb695414d8304426e3bd277 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 /hets/CspCASL/test/tcs1.cspcasl - 4eaeba586d49aa0761ee2bb6d20efba91562cef6 Andy Gimblett <a.m.gimblett@swansea.ac.uk>