jonathanvdc/modelverse

rozštěpen z yentl/modelverse

Autor	SHA1 Zpráva	Datum
Yentl Van Tendeloo	33d337355b Removed tests for UNCERTAIN in the MvS	před 9 roky
Yentl Van Tendeloo	ee647b997d Small changes to make tests work deterministically; unambiguous part was removed though	před 9 roky
Yentl Van Tendeloo	88daa39abb Stricter checking enforced on duplicate entries: do not redefine global symbol if already exists	před 9 roky
Yentl Van Tendeloo	16aea7da03 Initial commit from svn	před 9 roky