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 |
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 |
66ea26416f702f5e00759ffc767f0f785cc86058 |
|
25-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
more cleaning up
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14807 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 |
499b6cb3ab95a336a324545123e18f387ee4d2a3 |
|
24-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
allow a symbol kind before the target symbol
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14785 cec4b9c1-7d33-0410-9eda-942365e851bb |
d3f192025f2836285d9705a959542350e057f281 |
|
23-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
extended symbol mappings to support reparsing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14780 cec4b9c1-7d33-0410-9eda-942365e851bb |
ab0274ab68a174d3e92235b4c4ca865c03901583 |
|
18-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
support plural printing
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14751 cec4b9c1-7d33-0410-9eda-942365e851bb |
df15a183ca8bf1c25db69775979905198d7cc8bb |
|
18-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
refactored symbol parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14750 cec4b9c1-7d33-0410-9eda-942365e851bb |
23a0d43ca980983c7d7aebaa9f03bfe120be7de8 |
|
18-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added Csp prefix to csp types
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14748 cec4b9c1-7d33-0410-9eda-942365e851bb |
2119c0874c93fc1cdfea381bcfea69e8fdb8b6e2 |
|
18-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added csp symbol parsers
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14744 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 |
3b48e17c1da54ee669e70b626d9fbc32ce495b2c |
|
17-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
switched to csp symbols and removed unimplemented stuff
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14734 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 |
9d0567bda351efa4286f38e85fb3e41ecd3683ea |
|
17-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added header and set svn props
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14732 cec4b9c1-7d33-0410-9eda-942365e851bb |
a97055b3846103c11f2f39d16713fb278dd15d70 |
|
16-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
avoid name clash
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14725 cec4b9c1-7d33-0410-9eda-942365e851bb |
20bd79f8844604c145510c616fecdaf47eba2fdb |
|
16-Mar-2011 |
Christian Maeder <Christian.Maeder@dfki.de> |
added syntactic symbols for CSP
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14724 cec4b9c1-7d33-0410-9eda-942365e851bb |