lucas/modelverse

派生自 yentl/modelverse

作者	SHA1 备注	提交日期
Yentl Van Tendeloo	4a0bc33a24 Updated header files and removed or trimmed unused functions	9 年之前
Yentl Van Tendeloo	5304ac28fb Remove some unused functions	9 年之前
Yentl Van Tendeloo	351eb251e7 Fixed is_nominal_subtype	9 年之前
Yentl Van Tendeloo	1c948e4b02 New metamodel is merged in and basic conformance checks seem to work	9 年之前
Yentl Van Tendeloo	a2d1291d36 Further constrain types of conformance operations	9 年之前
Yentl Van Tendeloo	e527d9b485 Initial commit from svn	9 年之前