feat: translator zk relation adjustments testing#12718

Merged

maramihali merged 17 commits intomasterfrom

mm/relation-adjustment

Mar 24, 2025

Commits on Mar 11, 2025

Im getting somewhere
maramihali
committed

Commits on Mar 12, 2025

uau
maramihali
committed

Commits on Mar 13, 2025

stuff
maramihali
committed

Commits on Mar 17, 2025

shtuff
maramihali
committed
bug?
maramihali
committed
Merge branch 'mm/bug' into mm/relation-adjustment
maramihali
committed

Commits on Mar 20, 2025

stuff
maramihali
committed
Merge branch 'mm/change-stuff' into mm/relation-adjustment
maramihali
committed

Commits on Mar 21, 2025

start cleaning up
maramihali
committed
more cleanup
maramihali
committed
remove unwanted changes
maramihali
committed
Merge branch 'master' into mm/relation-adjustment
maramihali
authored
fix
maramihali
committed
update relation consistency tests
maramihali
committed
fix recursive verifier test
maramihali
committed

Commits on Mar 24, 2025

address review comments
maramihali
committed
Merge branch 'master' into mm/relation-adjustment
maramihali
authored