| eb1beba6335f359c32a1536613b830536a1c91c9 |
|
22-Dec-2008 |
Georgel Calin <g.calin@jacobs-university.de> |
Example of how to overpass the - occurs cycle check - not necessarily a good option
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@11187 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 6bcdd3effe86ca33f6f108c75cdfd4d3c5306bfc |
|
18-Jun-2008 |
Georgel Calin <g.calin@jacobs-university.de> |
GMP - trying to make probabilistic logic work.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10135 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9b42ab1e3b88a1a1aa11a054aaec633a9a7258ce |
|
17-Jun-2008 |
Georgel Calin <g.calin@jacobs-university.de> |
GMP-CoLoSS brought to a more stable state. Added root directory make dependencies.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@10134 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c95e01603ad5e271e0e07e243615db7fb4d9024d |
|
12-Dec-2007 |
Georgel Calin <g.calin@jacobs-university.de> |
GML self-made tests added
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9357 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 202b23f9ca858453daf1becd495488bc9e7b6645 |
|
12-Dec-2007 |
Georgel Calin <g.calin@jacobs-university.de> |
Done some restructuring.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9353 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 98f07bf7ca65b9b753b12bac7616f2a94ccf9899 |
|
14-Nov-2007 |
Georgel Calin <g.calin@jacobs-university.de> |
Tester file renamed and makefile modified
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9180 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 195a60ef7bf7d851648dc132487d91a689747235 |
|
02-Nov-2007 |
Georgel Calin <g.calin@jacobs-university.de> |
Tester for the inequality solver.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9133 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 73a93727034fc50848bd0d38ce8b70ae2e21dddb |
|
26-Oct-2007 |
Georgel Calin <g.calin@jacobs-university.de> |
Graded ML inequality solver acts as expected. More testing and debugging will follow.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@9087 cec4b9c1-7d33-0410-9eda-942365e851bb |
| df878291d2987444e969c9f56f0b1486318de512 |
|
21-Sep-2007 |
Georgel Calin <g.calin@jacobs-university.de> |
Debuging ToRacer translator.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8879 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 06760a36489d303241d897ff379c8c739eac4a99 |
|
22-Jun-2007 |
Georgel Calin <g.calin@jacobs-university.de> |
Small modif. to the Makefile dependencies.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8115 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 50f3781aa5cf062e61781b76bd798f3e43a7255c |
|
21-Jun-2007 |
Georgel Calin <g.calin@jacobs-university.de> |
Changes made to the Makefile system as well as to the ghc-call. Still needs some adjustments.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8106 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 9e3c828b6fc050134a9ef242c5f814697df1839c |
|
21-Jun-2007 |
Georgel Calin <g.calin@jacobs-university.de> |
Some changes made in the make system.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8100 cec4b9c1-7d33-0410-9eda-942365e851bb |
| 34240f064586e8d1fdbc4b341431626f92c77bd5 |
|
19-Jun-2007 |
Georgel Calin <g.calin@jacobs-university.de> |
Spliting and renaming concluded.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8083 cec4b9c1-7d33-0410-9eda-942365e851bb |
| a6e279021854413083ebe0314b0bec4727c21a29 |
|
19-Jun-2007 |
Georgel Calin <g.calin@jacobs-university.de> |
Splitting of files done.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8081 cec4b9c1-7d33-0410-9eda-942365e851bb |
| d3721cafe4f768c71ab80541205717200f06d448 |
|
15-Jun-2007 |
Georgel Calin <g.calin@jacobs-university.de> |
BitString in use but the parser reverses the Strings when parses. Needs adjustment.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8044 cec4b9c1-7d33-0410-9eda-942365e851bb |
| c839b26a23c255cafe3dc3f2d5d953d49806493f |
|
14-Jun-2007 |
Georgel Calin <g.calin@jacobs-university.de> |
Added basic ModalLogic class and implemented parseIndex instance for String, Integer and Integer List(restricted to 0/1 bits)
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8039 cec4b9c1-7d33-0410-9eda-942365e851bb |
| cf28d3a3914d0c6c53c80a2563044603e8bbbb7b |
|
13-Jun-2007 |
Georgel Calin <g.calin@jacobs-university.de> |
Simple makefile added and datatype slightly modified.
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8028 cec4b9c1-7d33-0410-9eda-942365e851bb |