yentl/modelverse

作者	SHA1 メッセージ	日付
Yentl Van Tendeloo	317a9191b0 More info on conformance bottom	7 年前
Yentl Van Tendeloo	aab875c9bb Add information on tool semantics and type mapping finding in	7 年前
Yentl Van Tendeloo	19dd1433d7 Some preliminary notes on multi-conformance	7 年前
Yentl Van Tendeloo	7cb4b3ef63 Remove run fast tests, as this isn't really useful anymore	8 年前
Yentl Van Tendeloo	9ab39b2038 Give new structure to the Modelverse documentation, split in types of users	8 年前