lucas/modelverse

şundan çatallanmış yentl/modelverse

Yazar	SHA1 Mesaj	Tarih
Yentl Van Tendeloo	1fee653754 Remove MvS status codes and update test	8 yıl önce
Yentl Van Tendeloo	3cafe4617e Removed tests for UNCERTAIN in the MvS	9 yıl önce
Yentl Van Tendeloo	c2f5dfa8c3 Small changes to make tests work deterministically; unambiguous part was removed though	9 yıl önce
Yentl Van Tendeloo	1262b06214 Stricter checking enforced on duplicate entries: do not redefine global symbol if already exists	9 yıl önce
Yentl Van Tendeloo	e527d9b485 Initial commit from svn	9 yıl önce