feat: translator recursive verifier#6327

Merged

maramihali merged 20 commits intomasterfrom

mm/translator-work

May 21, 2024

Commits on May 9, 2024

compiles
maramihali
committed

Commits on May 10, 2024

aaaa
maramihali
committed
compiles
maramihali
committed
files missing
maramihali
committed
works for goblin ultra circuit
maramihali
committed
fix include impl pattern based on discussion with Adam
maramihali
committed

Commits on May 13, 2024

recursive verifier works on both ultra and goblin
maramihali
committed
hm
maramihali
committed

Commits on May 14, 2024

dummy work
maramihali
committed

Commits on May 15, 2024

stuff
maramihali
committed

Commits on May 16, 2024

aaaaaaaaaa
maramihali
committed

Commits on May 17, 2024

aaaaaa
maramihali
committed
cleanup, enable simulator
maramihali
committed
Merge remote-tracking branch 'origin/master' into mm/translator-work
maramihali
committed
more cleanup
maramihali
committed
cleanup
maramihali
committed
rename goblin translator to just translator
maramihali
committed

Commits on May 21, 2024

address comments
maramihali
committed
Merge remote-tracking branch 'origin/master' into mm/translator-work
maramihali
committed
fix
maramihali
committed