Commit History

Автор SHA1 Съобщение Дата
  Yentl Van Tendeloo 33d337355b Removed tests for UNCERTAIN in the MvS преди 9 години
  Yentl Van Tendeloo 0a24037711 First few changes to make Modelverse without primitive type hierarchy преди 9 години
  Yentl Van Tendeloo ee647b997d Small changes to make tests work deterministically; unambiguous part was removed though преди 9 години
  Yentl Van Tendeloo 88daa39abb Stricter checking enforced on duplicate entries: do not redefine global symbol if already exists преди 9 години
  Yentl Van Tendeloo 16aea7da03 Initial commit from svn преди 9 години