Changes in Makefile http://src.iws.cs.ovgu.de/source/rss/hets/CspCASL/Makefile en Copyright 2005 Java use gmake on SunOS /hets/CspCASL/Makefile - 1ac35b084d7e57853f66169d2ca5532977fc403a Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> 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/Makefile - adce8375991a372444ab995895442dca6faf9677 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/Makefile - 567db7182e691cce5816365d8c912d09ffe92f86 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 /hets/CspCASL/Makefile - c01168f53431b6ad785bf8a8b12bd3a60b93b9b4 Andy Gimblett <a.m.gimblett@swansea.ac.uk> CspCASL - tweaking pretty printer git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8458 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/Makefile - 19ef749a762ef2c09579549715a63b364f0395d5 Andy Gimblett <a.m.gimblett@swansea.ac.uk> CspCASL - working on pretty printing git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8300 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/Makefile - afc52bfaabee38c4d55cee9f35b1a0028ba3854a Andy Gimblett <a.m.gimblett@swansea.ac.uk> CspCASL - tests now use ndm's System.FilePath library git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8250 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/Makefile - bf7d1ec09971b005fff4133bb8b6964ab7d264e7 Andy Gimblett <a.m.gimblett@swansea.ac.uk> CspCASL - Makefile tidying git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8164 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/Makefile - d7efeb8855af16a945a2d923d2c97ffdd579294e 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/Makefile - 29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4 Andy Gimblett <a.m.gimblett@swansea.ac.uk> CspCASL - added some test cases git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7851 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/Makefile - 69b3701bf367eacfedd3efef1b95f697228e592a 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@7839 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/Makefile - 4690e532c5ebfbf9d71880a5c912ce09ab1fa2fe 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@7835 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/Makefile - b6499fa6826cfdc288dc841be705aab6e4cc6c95 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@7830 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/Makefile - fe9b4842ac7b63bc2a5042ae829759e2874acd05 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@7829 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/Makefile - 34a4c8c6f861104cdc198282f30fae36cf3858ad 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/Makefile - d40dd10adffcf341489a1310092fcc99de75f225 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@7823 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/Makefile - b5301fa0ef9e88a488e5cfe8c395a05c2f6884d3 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/Makefile - 2cf5a456da8bb3a2bbb695414d8304426e3bd277 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/Makefile - 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/Makefile - 4eaeba586d49aa0761ee2bb6d20efba91562cef6 Andy Gimblett <a.m.gimblett@swansea.ac.uk> CspCASL - adding a test wrapper, starting to work on pretty printing. git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7534 cec4b9c1-7d33-0410-9eda-942365e851bb /hets/CspCASL/Makefile - 9ebbce450fb242e1a346f9f89367d8c46fcb2ec8 Andy Gimblett <a.m.gimblett@swansea.ac.uk>