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 |
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 |
dcffcc76ff415e40f5dd57ed643c09560395c4ce |
|
09-Aug-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Added a closure on the displayed alphabet in error message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15944 cec4b9c1-7d33-0410-9eda-942365e851bb |
2d61745163e6a52a1cf8b838a0e045ca13d4538e |
|
09-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
alternative message
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15943 cec4b9c1-7d33-0410-9eda-942365e851bb |
77ae839a00626d4d5c3ce4f3fb16a87e7680c2fd |
|
09-Aug-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Slightly improved error message for CSP-CASL
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15942 cec4b9c1-7d33-0410-9eda-942365e851bb |
f4f9e5835f4e4dc36178b22fbbce302af5b9d359 |
|
09-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
reduce proc profile in symbol map analysis
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15941 cec4b9c1-7d33-0410-9eda-942365e851bb |
01008b4f7e0076702f9cd61cb41bc02142c34375 |
|
09-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
cleaned up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15940 cec4b9c1-7d33-0410-9eda-942365e851bb |
99835f4b06ef057b494b529a7fe7f0c2c3dcab6a |
|
09-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
hopefully improved matching and mapping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15933 cec4b9c1-7d33-0410-9eda-942365e851bb |
d6229fde7f787ac029ab462f5747bb7b6e1b3078 |
|
08-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
relax lookup test
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15926 cec4b9c1-7d33-0410-9eda-942365e851bb |
71c922ebe9e1c35dc4c9f40b2ff8203a8b1f34d0 |
|
08-Aug-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
Fixed bug in checking of shrinking alphabets in CSP-CASL processes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15924 cec4b9c1-7d33-0410-9eda-942365e851bb |
42bccfa650b681c2602b412fec3863872c3d057b |
|
08-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
also close alphabet after mapping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15921 cec4b9c1-7d33-0410-9eda-942365e851bb |
4e8709b63ef107421c6cf1012e7d9595aebd0be8 |
|
08-Aug-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
separate matching from mapping
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15920 cec4b9c1-7d33-0410-9eda-942365e851bb |
23b1275b6136c9dbec63d3ea87c697f2aa89a061 |
|
08-Aug-2011 |
Liam O'Reilly <csliam@swansea.ac.uk> |
CSP-CASL signature morphisms now allow shrinking of process alphabets
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15916 cec4b9c1-7d33-0410-9eda-942365e851bb |
b99a317dc5c91e28bd294248a0491c374783169a |
|
29-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
tried to improve induced_from_to_morphism csp implementation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15770 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 |
dece9056c18ada64bcc8f2fba285270374139ee8 |
|
06-Jul-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
use a reflexive sort relation and avoid a separate sort set
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15472 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 |
0ad15e0095d48308be69eb6a7a2298a95a1153ee |
|
15-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
corrected mapping bug
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14927 cec4b9c1-7d33-0410-9eda-942365e851bb |
e73f0b9e920ae9ddfdbfe786cfbc5eb71e43ff6e |
|
15-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added CspCASL hiding and revealing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14923 cec4b9c1-7d33-0410-9eda-942365e851bb |
de16f2cd7bef567000c39b40e6f7b0b263e49d12 |
|
06-Apr-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added overload relation
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14859 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 |
c2d9fa54f8da9197cb390788901d8e16d4f8d210 |
|
24-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
enhanced checking compatible process profiles
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14795 cec4b9c1-7d33-0410-9eda-942365e851bb |
634f844958d5f75ad95583351efb582b9d233506 |
|
22-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
more csp methods
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14767 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 |