e9458b1a7a19a63aa4c179f9ab20f4d50681c168 |
|
25-Mar-2016 |
Jens Elkner <jel+git@iws.cs.uni-magdeburg.de> |
applied utils/replaceAllHeaders.sh
- all $Header$ tokens in doc comments replaced with corresponding filename |
8db2221917c1bc569614f3481bcdb3b988facaed |
|
29-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-added item ranges
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14824 cec4b9c1-7d33-0410-9eda-942365e851bb |
dfc58f5ec6492d1a9b9babd9cdcdbb15baa6e657 |
|
28-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added proc-defn item and fixed simple-id parsing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14821 cec4b9c1-7d33-0410-9eda-942365e851bb |
45ec7dde04370e30e219a8ba6f4ce71d4bba3f2b |
|
28-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
revived testwrap binary
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14820 cec4b9c1-7d33-0410-9eda-942365e851bb |
70a691ea12f53381209a3709cdd325df5fc0a0c8 |
|
25-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored process item parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14812 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa96e8ff3d3951392ead58bd86d05cd314626d59 |
|
25-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
also disallow keywords following sequentialS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14810 cec4b9c1-7d33-0410-9eda-942365e851bb |
c940ec1faddc703bcaf1bf45ca890476752eb392 |
|
25-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
restricted processes following sequentialS
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14809 cec4b9c1-7d33-0410-9eda-942365e851bb |
38504dc968167ba2e82dd568edeae8d6af4dc145 |
|
25-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
just cleaning up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14806 cec4b9c1-7d33-0410-9eda-942365e851bb |
a88d32442096d4fd88fce34842ca6f8cf34d8160 |
|
25-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up keyword list
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14804 cec4b9c1-7d33-0410-9eda-942365e851bb |
12b2ae689353ecbaad720a9af9f9be01c1a3fe2d |
|
24-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored top-level CSP items
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14796 cec4b9c1-7d33-0410-9eda-942365e851bb |
9f93b2a8b552789cd939d599504d39732672dc84 |
|
17-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14739 cec4b9c1-7d33-0410-9eda-942365e851bb |
9aeda2b3ae8ce0b018955521e4ca835a8ba8a27b |
|
14-Mar-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Major update of Csp-CASL signatures, sentences and morphisms. These reflext the changes of the institution in the WADT 10 Paper.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14705 cec4b9c1-7d33-0410-9eda-942365e851bb |
98890889ffb2e8f6f722b00e265a211f13b5a861 |
|
01-Sep-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Added see license.txt to license field
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13959 cec4b9c1-7d33-0410-9eda-942365e851bb |
b87efd3db0d2dc41615ea28669faf80fc1b48d56 |
|
11-Aug-2010 |
Corneliu-Claudiu Prodescu <Corneliu-Claudiu.Prodescu@dfki.de> |
Changed haddock headers and inserted empty headers for the ones missing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13857 cec4b9c1-7d33-0410-9eda-942365e851bb |
5d48a25007fbfa021ca32df2d75770c02d531285 |
|
24-Feb-2008 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - parser tidying
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9618 cec4b9c1-7d33-0410-9eda-942365e851bb |
a181b88611e09ffc9701a5f1022002cc0bc0c584 |
|
15-Feb-2008 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - bugfix, allowing process declarations with empty alphabets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9570 cec4b9c1-7d33-0410-9eda-942365e851bb |
20ef185b53de676cd0ff4258846b75481fd7b7d1 |
|
04-Feb-2008 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - last commit was stupid and wrong; reverting
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9519 cec4b9c1-7d33-0410-9eda-942365e851bb |
2152b14d919bc710deff623d07379d755dd24d9e |
|
04-Feb-2008 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - disallow empty communication alphabets in process declarations
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9518 cec4b9c1-7d33-0410-9eda-942365e851bb |
a1f6118e7ce7f8892fc4299e316630ec74083f0a |
|
29-Jan-2008 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - pretty printing tweaks (parenethesis handling on RUN, CHAOS and named process)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9494 cec4b9c1-7d33-0410-9eda-942365e851bb |
a09bfcbcb0fba5663fca1968aa82daebf2e092c4 |
|
29-Jan-2008 |
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 |
8528886a04f14abe0ddf80f50c853cc25bc821cd |
|
29-Jan-2008 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - better static analysis of process declaration alphabets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9488 cec4b9c1-7d33-0410-9eda-942365e851bb |
ef1de2a94f526fb52cba8fa9500e2b27d71fb8a6 |
|
27-Jan-2008 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
Channel and process names are SIMPLE_IDs, not Ids
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9484 cec4b9c1-7d33-0410-9eda-942365e851bb |
fbc0c2baf563fe5b664f0152674a8d3acecca58c |
|
19-Dec-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - add Range to process alphabets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9396 cec4b9c1-7d33-0410-9eda-942365e851bb |
b22c258cca179a5ffe777b64b32e10687c5f6b2c |
|
13-Dec-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - process alphabets now lists of sorts, channel names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9369 cec4b9c1-7d33-0410-9eda-942365e851bb |
53f89daf88665d3ea96d871110a5c0d9d8326bd2 |
|
29-Nov-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - renamed CHANNEL to CHANNEL_DECL in abstract syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9272 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f06b54890375b6cac90394b80b07bd451d728fc |
|
15-Nov-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - completing changes to abstract syntax, and accompanying parser mods
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9192 cec4b9c1-7d33-0410-9eda-942365e851bb |
c052e3ee4a53ee3a2da829aa142fd596ef6c9e3d |
|
14-Nov-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - tweak to abstract syntax
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9186 cec4b9c1-7d33-0410-9eda-942365e851bb |
1c7c4d95775a8ad5f7373e5cf0bad86f8301c56c |
|
13-Oct-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - bugfixes to pretty printing and parsing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9047 cec4b9c1-7d33-0410-9eda-942365e851bb |
f909337bf7012aca169c0b56b89efbd4a310f8da |
|
10-Oct-2007 |
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 |
77998f1139e55978f6288e905cd16565f2e20298 |
|
27-Sep-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - added (nascent) conversion to CoreCspCASL (temporarily hooked into parser; will be in static analysis)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8951 cec4b9c1-7d33-0410-9eda-942365e851bb |
63f8854d42e766ff77125c6e532c5fce3b5ebdef |
|
27-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
added an option channel parser and cleaned up do-notation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8945 cec4b9c1-7d33-0410-9eda-942365e851bb |
acf0471700891959cdd7560f330ca79ce4a31a28 |
|
26-Sep-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - fixed parsing anonymous singleton processes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8911 cec4b9c1-7d33-0410-9eda-942365e851bb |
c3f3b3166ed4c19c72a27a2d6f8176730e94e71e |
|
26-Sep-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - more work on dealing with multiple process equations. Also
trying to get anonymous singleoton processes working (seems broken now
though).
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8910 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 |
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 |
1aef7e013543ce13074e14d093b1613e67cabc6a |
|
20-Sep-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - removed more cruft
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8877 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 |
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 |
e071fb22ea9923a2a4ff41184d80ca46b55ee932 |
|
07-Sep-2007 |
Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de> |
added module description
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8810 cec4b9c1-7d33-0410-9eda-942365e851bb |
8267b99c0d7a187abe6f87ad50530dc08f5d1cdc |
|
10-Jul-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - header updates
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8313 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 |
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 |
9f6c50e7b48ca79fc104275f9b1ea091a1359f89 |
|
15-Feb-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
Finished removing all vestiges of "old style" CSP-CASL parsing, etc.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7454 cec4b9c1-7d33-0410-9eda-942365e851bb |
d9985e63a9fa565f6206517606dff547be1fee31 |
|
15-Feb-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL disentangling continues. Nearly there...
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7453 cec4b9c1-7d33-0410-9eda-942365e851bb |
1538a6e8d77301d6de757616ffc69ee61f1482e4 |
|
15-Feb-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
More CspCASL tweakery.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7452 cec4b9c1-7d33-0410-9eda-942365e851bb |
020cdb5dad6b871aba61136a0e1567c00426de87 |
|
17-Jan-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - adding files for new-style CSP-CASL parsing.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7320 cec4b9c1-7d33-0410-9eda-942365e851bb |