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 |
3d3889e0cefcdce9b3f43c53aaa201943ac2e895 |
|
29-Nov-2013 |
Jonathan von Schroeder <sternkinder@gmail.com> |
removed lots of hlint warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@18342 cec4b9c1-7d33-0410-9eda-942365e851bb |
0e1b749da1499e64793c4ecd85208d421673bc2d |
|
04-Oct-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused import
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16223 cec4b9c1-7d33-0410-9eda-942365e851bb |
50c62c8c45643f09bcb2f4a99b07bf1d072ecf40 |
|
26-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added new rename data type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16033 cec4b9c1-7d33-0410-9eda-942365e851bb |
7447e9fcbe38c1d04effa0df67f49240bd9963d6 |
|
15-Aug-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Improved printing of CASL terms in prefix processes
Adjusted static analysis of csp renamings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15967 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e5f4073e948104307d43c3962d624b8416f191f |
|
11-Aug-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Changed CSP-CASL's Fully Qualified Events, changed static analysis accordingly and improved simplification of sentences
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15959 cec4b9c1-7d33-0410-9eda-942365e851bb |
9efe365d7ce90313e53ea5cfeca391d118fd8629 |
|
04-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
put brackets around conditionals if the are left arguments
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15868 cec4b9c1-7d33-0410-9eda-942365e851bb |
dd7da1b5fedc05b92ba023ebd803e6f4a662503b |
|
29-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved printing of comms, removed FQEventSet variant
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15765 cec4b9c1-7d33-0410-9eda-942365e851bb |
05cc55892e6c93bdd7b9c3f100ab1bb65fe6a21e |
|
18-Apr-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Fully qualified process names now have a procprofile as opposed to a list of argument sorts and communication items
CSP-CASL-Prover now working with new signatures but not for overloaded process name and still produced OLD isabelle code
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14950 cec4b9c1-7d33-0410-9eda-942365e851bb |
310d12b88f902a597cdb08a1c7d11ae7130855ee |
|
15-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
reduce parens for nested prefixes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14925 cec4b9c1-7d33-0410-9eda-942365e851bb |
fcd11c35e645b0744a308f7961a519826bbaa2f5 |
|
11-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
relaxed parens for if-then-else and added double semi
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14890 cec4b9c1-7d33-0410-9eda-942365e851bb |
4f4e94264f48e255d4125f47649f585d9d062fab |
|
01-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
get printing right for the Shop example
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14836 cec4b9c1-7d33-0410-9eda-942365e851bb |
a5f3a8cdc3ceb045c3c166ee840d3e59ec7efac6 |
|
01-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected printing and allowed sort names as channel names
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14834 cec4b9c1-7d33-0410-9eda-942365e851bb |
0b8146e4f675518993a34eb2255ad7ddd7bf82a4 |
|
29-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed comm-type and FQ-process variants
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14825 cec4b9c1-7d33-0410-9eda-942365e851bb |
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 |
434c11a96bc623ebd5b60781efabef319bb15b0e |
|
29-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored printing decl-args
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14823 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 |
23a073e0a3433ca80a286d46202841b569ec36fd |
|
26-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
print comm-sets with braces (and channels with their sort)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14814 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 |
b25c72845890740c2f8a21214752574990b943cf |
|
24-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14798 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 |
042fd01d46834d3fecb5ac109ff905c5eb034376 |
|
16-Mar-2010 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Removed debug printing information from pretty printing of csp processes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13237 cec4b9c1-7d33-0410-9eda-942365e851bb |
0a83f8dcd5598436966584b858313eb5efd95d5b |
|
12-Oct-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Fixed compiler warnings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@12625 cec4b9c1-7d33-0410-9eda-942365e851bb |
33bdce26495121cdbce30331ef90a1969126a840 |
|
17-Jun-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Comitting CspCASL Implementation after a while.
Data types for CspCASLMorphisms, mapping morphisms over CspCASL
signatures and sentences. Additions to CspCASLProver where the
Isabelle generated code for channels may be incorrect with the respect
to the CspCASL semantics (will sort out soon). Some other parts of the
CspCASL Logic may also now be working.
--This line, and those below, will be ignored--
M Comorphisms/CASL2CspCASL.hs
M Comorphisms/CspCASL2Modal.hs
M Makefile
M CspCASLProver/CspCASLProver.hs
M CspCASLProver/Consts.hs
M CspCASLProver/CspProverConsts.hs
M CspCASLProver/TransProcesses.hs
M CspCASLProver/Utils.hs
M CspCASL/SignCSP.hs
M CspCASL/CspProver_Consts.hs
M CspCASL/AS_CspCASL_Process.der.hs
M CspCASL/Morphism.hs
M CspCASL/StatAnaCSP.hs
M CspCASL/SimplifySen.hs
M CspCASL/Comorphisms.hs
M CspCASL/Print_CspCASL.hs
M CspCASL/Logic_CspCASL.hs
M Isabelle/IsaConsts.hs
M Isabelle/IsaPrint.hs
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11805 cec4b9c1-7d33-0410-9eda-942365e851bb |
d9c1248c7972dfdafbacb1b73b2eb965eac9ef42 |
|
15-Mar-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Improved pretty printing of typed channels in CspCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11524 cec4b9c1-7d33-0410-9eda-942365e851bb |
576a4ca6de740c90afd448607c2323477139de24 |
|
21-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Improved pritty printing of CspCASL processes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11295 cec4b9c1-7d33-0410-9eda-942365e851bb |
9f31535736c3d43a98f0157efaa7f87ea73c9be0 |
|
20-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Changed "Internal Prefix Choice" and "External Prefix Choice" to be "Events" inside a "Prefix Process" to make static analysis return the correct data. This has required changes to the
abstract syntax which has caused changes to the parsing, static analysis and pretty printing.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11291 cec4b9c1-7d33-0410-9eda-942365e851bb |
fd4ad12563262ebe380d810df8f7755cfab5fb42 |
|
09-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Improved static analysis of CspCASL, changed some of the low level abstract syntax for CspCASL to hold more data
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11248 cec4b9c1-7d33-0410-9eda-942365e851bb |
2bb060537a37352251aa04d8dc09aa53aad5d4bf |
|
08-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
finished static analysis of Events - not event sets for CspCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11235 cec4b9c1-7d33-0410-9eda-942365e851bb |
55a09617886a31d9a9cb04a583bc4d4ef91b6c71 |
|
07-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Added simplification of CspCASL sentences, currently this is turned off while I develop
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11228 cec4b9c1-7d33-0410-9eda-942365e851bb |
a090e83bc128f53937375c531cd70cbd92fee00b |
|
07-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
restored makefile, added missing file
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11227 cec4b9c1-7d33-0410-9eda-942365e851bb |
816c50f9135a598dfdcfb2af8a80390bc42a9b24 |
|
07-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Improved pretty printing of CspCASL signatures
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11224 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f35e5f6757968746dbab385be21fcae52378a3f |
|
05-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Large commit - improved static analysis of cspcasl and translation of cspcasl to isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11215 cec4b9c1-7d33-0410-9eda-942365e851bb |
9aa022d4a305b108d8501aa8c303317c7631305b |
|
01-Aug-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed more than two consecutive blank lines
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10428 cec4b9c1-7d33-0410-9eda-942365e851bb |
a65b135c4ed7e68b2510bc218018ffa8f9a34fe8 |
|
03-Jul-2008 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Liam O'Reilly (Swansea): Setup Comorphism from CspCASL to IsabelleHOL. This morphism does not do anything useful yet.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10252 cec4b9c1-7d33-0410-9eda-942365e851bb |
00542bf4681e499868885c9eb6a80c2f29968348 |
|
23-Feb-2008 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - removed vestigal CSP_FORMULA datatype
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9617 cec4b9c1-7d33-0410-9eda-942365e851bb |
c679188b6762edb198e353f724e77c74aa64a7e4 |
|
23-Feb-2008 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - static analysis of renamings/renaming items completed
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9615 cec4b9c1-7d33-0410-9eda-942365e851bb |
9582375827616730f146b77f9d5a4fd0cc78bc47 |
|
23-Feb-2008 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - working on static analysis of events
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9613 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 |
876bd2c70a93981cc80f8376284616bce4a0fefc |
|
11-Feb-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
deleted trailing white spaces
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9543 cec4b9c1-7d33-0410-9eda-942365e851bb |
20ed727452613e36c0a95ddabf7ecc81cf941ed2 |
|
30-Jan-2008 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - integrating CspCASL symbols into LaTeX pretty printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9495 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 |
197888c54795ec1e79e77289b7e20436a6db74c0 |
|
02-Jan-2008 |
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 |
05b3e12808da901dccd665715cb934462290d550 |
|
02-Jan-2008 |
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 |
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 |
06dd4e7c29f33f6122a910719e3bd9062256e397 |
|
19-Dec-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - added Range to CspCASL processes and (most) associated types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9393 cec4b9c1-7d33-0410-9eda-942365e851bb |
ac710bec0cea7e4b49394fe7485f0c5c1f67f746 |
|
17-Dec-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - started static analysis of events
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9385 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 |
54eb3ebb6d142adedee7ce8b8f4d51d554b3b9e0 |
|
27-Sep-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - pretty printer fix
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8950 cec4b9c1-7d33-0410-9eda-942365e851bb |
da955132262baab309a50fdffe228c9efe68251d |
|
27-Sep-2007 |
Cui Jian <ken@informatik.uni-bremen.de> |
cleaned up codes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8947 cec4b9c1-7d33-0410-9eda-942365e851bb |
b963c4d6547796dac097e2cbb532371e53111f41 |
|
25-Sep-2007 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid a duplicate instance
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8907 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 |
8400689f5338073e0f5fe1ae9a1cdb658c2db83b |
|
24-Sep-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - allow multiple renamings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8893 cec4b9c1-7d33-0410-9eda-942365e851bb |
9bf2e821ea5dc827aad8a092bd90bd587f8acb09 |
|
23-Sep-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
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 |
7371f8fe3a9a286a74ea30a3cd18e7740f67d537 |
|
26-Feb-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL pretty printing: complete for non-recursive processes w/o channels
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7556 cec4b9c1-7d33-0410-9eda-942365e851bb |
aa0d5f8be9950e788884f7431cf4cb7bee74788c |
|
26-Feb-2007 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - initial pretty printing investigations.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7545 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 |
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 |