Changes in tcs3.cspcasl http://src.iws.cs.ovgu.de/source/rss/hets/CspCASL/test/tcs3.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/tcs3.cspcasl - adce8375991a372444ab995895442dca6faf9677 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 /hets/CspCASL/test/tcs3.cspcasl - a09bfcbcb0fba5663fca1968aa82daebf2e092c4 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/tcs3.cspcasl - 197888c54795ec1e79e77289b7e20436a6db74c0 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 /hets/CspCASL/test/tcs3.cspcasl - eeaf0a8a1dc535d105904a2190f26c0835ecf429 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 /hets/CspCASL/test/tcs3.cspcasl - f909337bf7012aca169c0b56b89efbd4a310f8da 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 /hets/CspCASL/test/tcs3.cspcasl - 567db7182e691cce5816365d8c912d09ffe92f86 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 /hets/CspCASL/test/tcs3.cspcasl - 29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4 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 /hets/CspCASL/test/tcs3.cspcasl - edc768ab3a40d51bf18761330cfc4b4d460c0822 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/tcs3.cspcasl - 4eaeba586d49aa0761ee2bb6d20efba91562cef6 Andy Gimblett <a.m.gimblett@swansea.ac.uk>