| 1fb981ffeaa43aff14d25dc89aa0139d4929282d |
|
28-Mar-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
added POINTER
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9848 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 841716179ae865e8d61e4595b58965ede2722cdf |
|
04-Mar-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
added typecheck for Rel... changed syntax a little
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9683 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 470f06616bf0701c5a3200c237477f8da34834a0 |
|
03-Mar-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
added static analysis for Rel, should be complete, maybe
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9678 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 5406d70d63c7c843823cda85d3a3304c432e9f2a |
|
03-Mar-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Added morphism and composition of morphisms for Rel
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9675 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 34964d30438020ed5219478bbd82b57291850e86 |
|
29-Feb-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Added some pretty printing for RS (yawn)
some basic static analysis
RS now displays in Hets :)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9672 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d98cfdc55591a9982c8ec759520b6a4c28bd9f55 |
|
29-Feb-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
improved Rel parser
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9668 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 05a206508bc898f87fe6ab6e069814df3c29d303 |
|
28-Feb-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
Parser for Rel Scheme is Ready...
Instantiation as Logic for Rel has begun
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9667 cec4b9c1-7d33-0410-9eda-942365e851bb |