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 |
1a38107941725211e7c3f051f7a8f5e12199f03a |
|
08-Oct-2014 |
cmaeder <cmaeder@users.noreply.github.com> |
added a bunch of deriving Typeable and Data |
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 |
7dcf630aadcf1a72b4ed877698f745cd8d4d3511 |
|
29-Aug-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
LO: Added static analysis of renamings, unfortuntaly they still only consider the id and not the profile if specified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16043 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 |
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 |
baba0fc1bc5847a1b084c03b8895097649a25a46 |
|
09-Aug-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
CSP-CASL alphabets now only store the super sorts
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15935 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 |
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 |
4314e26a12954cb1c9be4dea10aa8103edac5bbb |
|
28-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
replaced SIMPLE_ID by Id
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14818 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 |
2eb0224419df29a9c99da1aeb85e926c4e7b0381 |
|
25-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
another wibble
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14808 cec4b9c1-7d33-0410-9eda-942365e851bb |
f8932c557ed2bf6913a7b4d07b3522558362fb08 |
|
14-Mar-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
tiny formatting improvement
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14706 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 |
7db74d99f2d2705558510202067b91aca1912f6f |
|
09-Jul-2010 |
Liam O'Reilly <csliam@swansea.ac.uk> |
CspCASLProver now translates implied process defintions as theorems which the user should prove
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13699 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 |
9738b4e358f960105062839c835bb9eff3e44588 |
|
05-Feb-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
A subset of Csp Processes are now correctly translated into CspProver (Isabelle)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11367 cec4b9c1-7d33-0410-9eda-942365e851bb |
293d1430cbd764408a2565ce95380ee9aedd26c4 |
|
21-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
-> Removed warnings from SimplifySen
-> Improved greatly simplification functions for CspCASL, still more
to be done though
-> Improved documentation for the AS for CspCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11296 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 |
bba1e274cf727c39b4f1dd8970539a2bb967f20f |
|
20-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Started a draft implementation of CspCASLProver. Most parts need to be moved from the comorphism CspCASL2Isabelle into CspCASLProver
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11288 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 |
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 |
90c174bac60a72ffd81bc3bf5ae2dd9a61943b8b |
|
10-Jul-2008 |
Christian Maeder <Christian.Maeder@dfki.de> |
globally replaced PosItem and UpPos with GetRange
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10298 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 |
7996f5f893cc14b5e22fdb7ec90a3474ba3c51ab |
|
23-Feb-2008 |
Andy Gimblett <a.m.gimblett@swansea.ac.uk> |
CspCASL - starting on analysis of named processes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9614 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 |
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 |
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 |