chore: use RelationChecker in relation correctness tests and add Translator interleaving test#11878

Merged

maramihali merged 14 commits intomasterfrom

mm/actually-use-relation-checker

Feb 12, 2025

Commits on Feb 6, 2025

translator simple interleaving and relation correctness refactoring
maramihali
committed
Merge remote-tracking branch 'origin/master' into mm/translator-interleaving
maramihali
committed

Commits on Feb 7, 2025

stuff
maramihali
committed

Commits on Feb 10, 2025

cleanup
maramihali
committed
fix return values
maramihali
committed
fix
maramihali
committed
now it work
maramihali
committed
Merge branch 'mm/translator-interleaving' into mm/actually-use-relation-checker
maramihali
committed
translator uses relation checker
maramihali
committed
reduce scope and cleanup
maramihali
committed
cleanup
maramihali
committed
complete test
maramihali
committed

Commits on Feb 12, 2025

updates from PR review
maramihali
committed
Merge branch 'master' into mm/actually-use-relation-checker
maramihali
authored