mmt project repository

Clone this repo:
  1. 099da5c [514590] All ATL2QVTr trace classes needed by Ed Willink · 12 days ago ewillink/master master
  2. 2160b10 [514590] ATL2QVTr works for Families2Person.atl by Ed Willink · 12 days ago
  3. dfed7e6 [514590] Add full ATL tests by Ed Willink · 12 days ago
  4. 3ee3500a [unrelated] Suppress deprecation warnings by Ed Willink · 12 days ago
  5. e47d67e [490172] Eliminate childKey by Ed Willink · 12 days ago
  6. c1c7960 [514590] Use middle bottom for initialized variables by Ed Willink · 12 days ago
  7. 93bb8b7 [514590] Add ENFORCED_BOTTOM variables by Ed Willink · 12 days ago
  8. e58795b [514590] Fix multi-opposite trace multiplicity by Ed Willink · 12 days ago
  9. e5ce540 [514590] Do not trace Iterator/LetVariables by Ed Willink · 12 days ago
  10. 2f0904e [514590] Avoid spurious speculated head nodes by Ed Willink · 12 days ago
  11. 378306b [514590] Track enforced edges with per-property resolution by Ed Willink · 12 days ago
  12. 2f20458 [514590] Suppress abstract region merging by Ed Willink · 12 days ago
  13. 47d701e [514590] Revamp partitioning to automate necessary intermediate nodes by Ed Willink · 12 days ago
  14. 23378c5 [514590] Revamp pattern match to prioritize checks by Ed Willink · 12 days ago
  15. 547ff9e [514590] Ignore source node role for step node role by Ed Willink · 12 days ago
  16. 1955ce9 [514590] Introduce HeadNodeGroups and preferred head nodes by Ed Willink · 12 days ago
  17. 638c338 [514590] Avoid «equals» edges by Ed Willink · 12 days ago
  18. ea7d906 [514590] Auto-assigned loaded slots by Ed Willink · 12 days ago
  19. 1d3307a [514590] Add diagnoseWorkLists/debugUnblock by Ed Willink · 12 days ago
  20. e097b05 [514590] Add ATL2QVTr then Families2Persons test by Ed Willink · 12 days ago