 Yentl Van Tendeloo
|
1fee653754
Remove MvS status codes and update test
|
8 years ago |
|
Yentl Van Tendeloo
|
3cafe4617e
Removed tests for UNCERTAIN in the MvS
|
9 years ago |
 Yentl Van Tendeloo
|
f48bffcada
First few changes to make Modelverse without primitive type hierarchy
|
9 years ago |
|
Yentl Van Tendeloo
|
c2f5dfa8c3
Small changes to make tests work deterministically; unambiguous part was removed though
|
9 years ago |
|
Yentl Van Tendeloo
|
1262b06214
Stricter checking enforced on duplicate entries: do not redefine global symbol if already exists
|
9 years ago |
|
Yentl Van Tendeloo
|
e527d9b485
Initial commit from svn
|
9 years ago |
