feat(avm): vm2 bitwise subtrace#11473

Merged

jeanmon merged 21 commits intomasterfrom

Jan 30, 2025

Commits on Jan 30, 2025

Define pre-computed mapping for the length in byte corresponding to an
jeanmon
committed
Simulation for bitwise and opcode
jeanmon
committed
Add and generate relations for bitwise subtrace
jeanmon
committed
Trace generation for bitwise operations and simulation for OR and XOR
jeanmon
committed
Add some unit tests for AND operation
jeanmon
committed
Addressing some feedback
jeanmon
committed
Change relations and columns for bitwise
jeanmon
committed
Add simulation mocks for bitwise
jeanmon
committed
Add lookups to precomputed table for bitwise
jeanmon
committed
Make bb-pilcom/bootstrap.sh invokable from another directory
jeanmon
committed
Positive tests for bitwise subtrace
jeanmon
committed
Add some names for relations
jeanmon
committed
Add negative unit tests for bitwise
jeanmon
committed
Fix conflicts after rebase on master
jeanmon
committed
Remove lookup_into_unary.hpp
jeanmon
committed
Adapt relations to make an empty row satisfied
jeanmon
committed
Please compiler and renaming in unit tests
jeanmon
committed
Addressing review feedback
jeanmon
committed
Addressing review fedback
jeanmon
committed
Fix compilations after rebase on master
jeanmon
committed
rebase on master - re-generate lookup file
jeanmon
committed