Commit History

作者 SHA1 備註 提交日期
  Yentl Van Tendeloo c82f6df97a Updated header files and removed or trimmed unused functions 9 年之前
  Yentl Van Tendeloo 8512dc4800 Remove some unused functions 9 年之前
  Yentl Van Tendeloo 0853b0f64c Fixed is_nominal_subtype 9 年之前
  Yentl Van Tendeloo 2fda6044b0 New metamodel is merged in and basic conformance checks seem to work 9 年之前
  Yentl Van Tendeloo 94748e49a7 Further constrain types of conformance operations 9 年之前
  Yentl Van Tendeloo 16aea7da03 Initial commit from svn 9 年之前