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 |
aa4d26536fffe0153cd81d28925985892ac2f300 |
|
05-Jun-2012 |
Christian Maeder <Christian.Maeder@dfki.de> |
adjusted to simplified mapping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16855 cec4b9c1-7d33-0410-9eda-942365e851bb |
ebd23ec61635b0bebf7969d14f65b9d1e39f2b26 |
|
04-Jun-2012 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Removed shrinking alphabets from CSP-CASL. Sorry this commit current breaks compilation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16854 cec4b9c1-7d33-0410-9eda-942365e851bb |
b1f12c962a6fb28a298b36cf6a1dcf2ad788fb58 |
|
17-Nov-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
hlinted
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@16462 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 |
dc403ff45531bc75a7544b8b5fc52a5217a1a54a |
|
03-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved WNE message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15859 cec4b9c1-7d33-0410-9eda-942365e851bb |
45e2bc90dd11147156ddd7f9651ce8b2ec00f2a1 |
|
03-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
improved WNE message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15858 cec4b9c1-7d33-0410-9eda-942365e851bb |
d381ab99d6e2e56e09030577d65d9a118f246d35 |
|
01-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
do not check WNE after Refl fails
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15824 cec4b9c1-7d33-0410-9eda-942365e851bb |
e7cd36335f0f7be9ed5005e71d94c2856b588d62 |
|
01-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored checkResultMorphismIsLegal
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15820 cec4b9c1-7d33-0410-9eda-942365e851bb |
f105d01000c3b10ea5fbca920c3ba87c4704480b |
|
01-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
made it compile
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15818 cec4b9c1-7d33-0410-9eda-942365e851bb |
e8d99f05c231b379be702a1aa8c7dd0b3c666928 |
|
01-Aug-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Added the legal morphism check on CSP-CASL inclusion morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15817 cec4b9c1-7d33-0410-9eda-942365e851bb |
ee48a7a67da604356b665e51aa7545536a09b737 |
|
01-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed messages
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15814 cec4b9c1-7d33-0410-9eda-942365e851bb |
bc350328e6ac2d9074317e222b4207a6aa49afea |
|
01-Aug-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Improved error messages and tidied up some source files
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15807 cec4b9c1-7d33-0410-9eda-942365e851bb |
580f1724640a78be687e79d0ec95dd2665e77e91 |
|
29-Jul-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Added better error reporting for CSP-CASL's Refl and Weak non-Extension checks
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15783 cec4b9c1-7d33-0410-9eda-942365e851bb |
656f17ae9b7610ff2de1b6eedeeadea0c3bcdc8d |
|
29-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
changed legal_mor
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15779 cec4b9c1-7d33-0410-9eda-942365e851bb |
f19dc06364e8d6ea36f7c170e1f7a0677de63184 |
|
29-Jul-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Fixed bug in Weak Non-extension test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15777 cec4b9c1-7d33-0410-9eda-942365e851bb |
935613eb8e67d724f1c4a4d4a37be3324ef6708d |
|
29-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched on morphism checking
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15771 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 |
7d96b1ef2b8597330aedee6713615ec15508edcf |
|
27-Jul-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Added a function to perform the Weak Non Extension check on CSP-CASL signature morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15738 cec4b9c1-7d33-0410-9eda-942365e851bb |
f21c7417bdd1c0282025cba0f5cb0ff5bc5c98ee |
|
27-Jul-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Added a function to check if a CSP-CASL signature morphism has the refl property
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15735 cec4b9c1-7d33-0410-9eda-942365e851bb |
e0f1794e365dd347e97b37d7d22b2fce27296fa1 |
|
07-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
re-established separate relation type
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15490 cec4b9c1-7d33-0410-9eda-942365e851bb |
2a5b885d9350ec6dd8bc4992ee91d2f68aa592f4 |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored CASL's op and pred maps
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15456 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 |
bcd914850de931848b86d7728192a149f9c0108b |
|
05-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
embed process equations as CASL formula extension
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14851 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 |
e90dc723887d541f809007ae81c9bb73ced9592e |
|
22-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented induced from morphism for csp
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14766 cec4b9c1-7d33-0410-9eda-942365e851bb |
66bc8d6e69cde43f1ccbeb76104cf7b8038acd6c |
|
22-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented symmap_of for csp
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14765 cec4b9c1-7d33-0410-9eda-942365e851bb |
a00461fcf7432205a79a0f12dbe6c1ebc58bc000 |
|
22-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
prepared induced symbol mappings
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14764 cec4b9c1-7d33-0410-9eda-942365e851bb |
eb48217dfa67ddb87b8fbd846de293d0636bd578 |
|
22-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented process name mapping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14763 cec4b9c1-7d33-0410-9eda-942365e851bb |
7830e8fa7442fb7452af7ecdba102bc297ae367e |
|
22-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added pretty printing csp morphims
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14762 cec4b9c1-7d33-0410-9eda-942365e851bb |
fa373bc327620e08861294716b4454be8d25669f |
|
22-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented csp morphism union
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14761 cec4b9c1-7d33-0410-9eda-942365e851bb |
67c2d6d51f019828c459f24435935d2ae7c9652e |
|
21-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted spechub/Hets@8aca406a9fe81c8ce40d3f87cc434419eb303fde
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14759 cec4b9c1-7d33-0410-9eda-942365e851bb |
8aca406a9fe81c8ce40d3f87cc434419eb303fde |
|
21-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
reverted extension of morphism union
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14758 cec4b9c1-7d33-0410-9eda-942365e851bb |
7857a35e3af533dfbd0f0e18638ebd211e6358a0 |
|
21-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended morphism union
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14757 cec4b9c1-7d33-0410-9eda-942365e851bb |
648fe1220044aac847acbdfbc4155af5556063eb |
|
21-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
implemented morphism composition and cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14756 cec4b9c1-7d33-0410-9eda-942365e851bb |
d5833d2ee7bafcbf2fdd2bdfd9a728c769b100c7 |
|
21-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored class MorphismExtension
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14754 cec4b9c1-7d33-0410-9eda-942365e851bb |
fc033b8680245bf692c9c09723fd3046ff38971e |
|
18-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed unused stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14752 cec4b9c1-7d33-0410-9eda-942365e851bb |
5afff1a0f62394414c33b06141175b3ab0b117a5 |
|
17-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed morphismToSymbolMapExtension and derived aterm instances for csp symbols
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14733 cec4b9c1-7d33-0410-9eda-942365e851bb |
41f19dd5103acd1adf0343bf6f0096a260290117 |
|
16-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
removed csp-casl other kind stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14723 cec4b9c1-7d33-0410-9eda-942365e851bb |
d0eaa7021f6255e88331c06e4d5cbda1d98fadf8 |
|
15-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
used block comments to let it go through haddock
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14712 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 |
a74f814d3b445eadad6f68737a98a7a303698aff |
|
17-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
revert replacement of Map.foldWithKey to allow compilation using ghc-6.10.4
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14229 cec4b9c1-7d33-0410-9eda-942365e851bb |
9e5c10805bd50b5baaf6bf1f6a3f085c7afb17d8 |
|
16-Nov-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
use Map.foldrWithKey
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14227 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 |
43e4005c54870e481df3a9be0f041caefe0c6eb5 |
|
18-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
symbol maps must be complete #799
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13246 cec4b9c1-7d33-0410-9eda-942365e851bb |
7d41a06add784ca68e6507ce832e621a1d2abf49 |
|
18-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
added further argument to induced_from_to_morphism for composing extensions
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13245 cec4b9c1-7d33-0410-9eda-942365e851bb |
ace03c3051e5c5144e43ae78cae73f6a29dde6d5 |
|
18-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected printing of CspCASL inclusion morphisms
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13244 cec4b9c1-7d33-0410-9eda-942365e851bb |
57221209d11b05aa0373cc3892d5df89ba96ebf9 |
|
18-Mar-2010 |
Christian Maeder <Christian.Maeder@dfki.de> |
correct morphism to symbol map conversion
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13243 cec4b9c1-7d33-0410-9eda-942365e851bb |
56899f6457976a2ee20f6a23f088cb5655b15715 |
|
15-Mar-2010 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Added more pieces for CspCASL to become a full institution in Hets:
namely: union of csp signature and morphisms, sub signature test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13231 cec4b9c1-7d33-0410-9eda-942365e851bb |
3c8d067accf18572352351ec42ff905c7297a8a5 |
|
15-Jul-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
compose needs to know the domain
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11923 cec4b9c1-7d33-0410-9eda-942365e851bb |
8e9c3881fb6e710b1e08bf5ac8ff9d393df2e74e |
|
19-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected map composition
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11825 cec4b9c1-7d33-0410-9eda-942365e851bb |
036ecbd8f721096321f47cf6a354a9d1bf3d032f |
|
19-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
fixed symbol map analysis for CspCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11824 cec4b9c1-7d33-0410-9eda-942365e851bb |
c0833539c8cf577dd3f2497792fbdd818442744c |
|
19-Jun-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
added inducedCspSign
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11823 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 |
caf021dd48c90ff6b26117f13e1d8c0ef1ca618a |
|
09-Jan-2009 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended symbol parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11247 cec4b9c1-7d33-0410-9eda-942365e851bb |
4770d29adda064baa5dbfcca03f600d7608806f7 |
|
07-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Static analysis of CspCASL now adds channel names and process names to the collected symbols (stored in the CASL signature)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11231 cec4b9c1-7d33-0410-9eda-942365e851bb |
2f52a5583eb8d705393d9f4347cb7cc3139d34fe |
|
06-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Fixed looping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11220 cec4b9c1-7d33-0410-9eda-942365e851bb |
53bd0c89aa4743dc41a6394db5a90717c1ca4517 |
|
06-Jan-2009 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Added sym_of for CspCASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11219 cec4b9c1-7d33-0410-9eda-942365e851bb |