feat: PIL relations modifications for bc decomposition#11935

Merged

jeanmon merged 10 commits intomasterfrom jm/avm2-byte-decomposition

Feb 13, 2025

+1,167-182

Commits on Feb 13, 2025

PIL relations modifications for bc decomposition
jeanmon
committed
Adapt constraining unit tests
jeanmon
committed
Add trace generation unit tests for bytecode decomposition
jeanmon
committed
Add negative unit tests
jeanmon
committed
Fix issues due to missing lookup in jobs_interactions
jeanmon
committed
Negative unit tests for bitwise are first satisfied and then mutated
jeanmon
committed
Address review feedback
jeanmon
committed
Re-generate code after rebase on master
jeanmon
committed
Decrease degrees of some relations
jeanmon
committed
Revert last pil optimization which was wrong
jeanmon
committed