Commit History

Автор 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 години