コミット履歴

作者 SHA1 メッセージ 日付
  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 年 前