feat(avm): ALU <--> MAIN inter table relation on intermediate registers copy#4945

Merged

IlyasRidhuan merged 4 commits intomasterfrom

jm/4613-alu-main-inter-table-relations

Mar 6, 2024

Commits on Mar 6, 2024

4613 - enable permutation check for intermediate registers between ALU
jeanmon
committed
4613 - remove constrain on intermediate registers set to zero in case of
jeanmon
committed
4613 - add in_tag and operator selectors in permutation
jeanmon
committed
4613 - fix bug in return_op
jeanmon
committed