| 1ac35b084d7e57853f66169d2ca5532977fc403a |
|
09-May-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
use gmake on SunOS |
| 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 |
| 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 |
| 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 |
| 19ef749a762ef2c09579549715a63b364f0395d5 |
|
24-Jul-2007 |
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 |
| afc52bfaabee38c4d55cee9f35b1a0028ba3854a |
|
09-Jul-2007 |
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 |
| bf7d1ec09971b005fff4133bb8b6964ab7d264e7 |
|
04-Jul-2007 |
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 |
| d7efeb8855af16a945a2d923d2c97ffdd579294e |
|
27-Jun-2007 |
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 |
| 29ac9ecacf0983a565b89f133ff2bdf2ac02b0c4 |
|
29-Apr-2007 |
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 |
| 69b3701bf367eacfedd3efef1b95f697228e592a |
|
27-Apr-2007 |
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 |
| 4690e532c5ebfbf9d71880a5c912ce09ab1fa2fe |
|
21-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@7839 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b6499fa6826cfdc288dc841be705aab6e4cc6c95 |
|
20-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@7835 cec4b9c1-7d33-0410-9eda-942365e851bb |
| fe9b4842ac7b63bc2a5042ae829759e2874acd05 |
|
19-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@7830 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 34a4c8c6f861104cdc198282f30fae36cf3858ad |
|
19-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@7829 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 |
| b5301fa0ef9e88a488e5cfe8c395a05c2f6884d3 |
|
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@7823 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 |
| edc768ab3a40d51bf18761330cfc4b4d460c0822 |
|
01-Mar-2007 |
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 |
| 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 |
| 9ebbce450fb242e1a346f9f89367d8c46fcb2ec8 |
|
23-Feb-2007 |
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 |
| 43bc91ac54baa155404eb50d3c86797345bba35a |
|
17-Jan-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - more tidying/removal of old dead cruft in preparation for
integration of new version.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7319 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c4b2418421546a337f83332fe0db04742dcd735d |
|
17-Jan-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
Stripped back CSP-CASL machinery, in preparation for integration of
updated version (currently outside Hets tree).
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7318 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d64c27888613a81c9634cd939dd05618175465ef |
|
21-Oct-2004 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
2004.10.21.1805 AMG Various experimental mucking around/exploratory
probing, and clean ups in Main.hs...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3305 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 38ff7f7a0181fa2e7c8c0f9ca7ecf6dc6120128a |
|
21-Oct-2004 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
2004.10.21.1120 AMG Fixed Makefile for test runs.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3296 cec4b9c1-7d33-0410-9eda-942365e851bb |
| b95c5b557aadc2211867af804d39950d4c9c1444 |
|
21-Oct-2004 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
2004.10.21.1115 AMG First stage of cleaning up CSP-CASL sources: added a
Makefile, removed tests (they'll be in their own
directory soon).
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@3294 cec4b9c1-7d33-0410-9eda-942365e851bb |