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 |
b7e423e8f5a1093a98fd3be5ddcc6307d4a63ebc |
|
29-Feb-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
added (D) datatypes
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9669 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 |
5e5d3e82af3bc2834f8718a52d9f45da80220273 |
|
27-Feb-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
AS, Parser (incomplete) for Rel
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9660 cec4b9c1-7d33-0410-9eda-942365e851bb |
fca085b2ab33a7c7f742442b441f2419a64c7f56 |
|
27-Feb-2008 |
Dominik Luecke <luecke@informatik.uni-bremen.de> |
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9656 cec4b9c1-7d33-0410-9eda-942365e851bb |