lucas/modelverse

rozštěpen z yentl/modelverse

Autor	SHA1 Zpráva	Datum
Yentl Van Tendeloo	1fee653754 Remove MvS status codes and update test	před 8 roky
Yentl Van Tendeloo	3cafe4617e Removed tests for UNCERTAIN in the MvS	před 9 roky
Yentl Van Tendeloo	c2f5dfa8c3 Small changes to make tests work deterministically; unambiguous part was removed though	před 9 roky
Yentl Van Tendeloo	1262b06214 Stricter checking enforced on duplicate entries: do not redefine global symbol if already exists	před 9 roky
Yentl Van Tendeloo	e527d9b485 Initial commit from svn	před 9 roky