Historial de Commits

Autor SHA1 Mensaje Fecha
  Yentl Van Tendeloo d449cc0843 Updated MetaDepth conformance semantics as well hace 7 años
  Yentl Van Tendeloo f2be24ac46 Updated AToMPM conformance algorithm test example hace 7 años
  Yentl Van Tendeloo 57b95d3ebb Working conformance check for AToMPM (multi-inheritance part) hace 7 años
  Yentl Van Tendeloo eb18d88d9b Several fixes to conformance finding for a type mapping hace 7 años
  Yentl Van Tendeloo 9593768dcf Patched change in model_types semantics hace 7 años
  Yentl Van Tendeloo e70044eb9b Some more information/ideas in the AToMPM conformance relation hace 7 años
  Yentl Van Tendeloo 06e1f2bd6e Add example for multi conformance hace 7 años