feat(avm): VM circuit handles tagged memory#3725

Merged

Maddiaa0 merged 14 commits intoavm-mainfrom jm/3644-mem-tag

Dec 19, 2023

+1,109-403

Commits on Dec 11, 2023

Commits on Dec 12, 2023

3644 - minor comments in pil file
jeanmon
committed

Commits on Dec 13, 2023

3644 - add error handling for mismatch between in-tag and memory tag
jeanmon
committed
3644 - introduce an enum for intermediate registers and refactor
jeanmon
committed

Commits on Dec 14, 2023

3644 - witness generation with error handling of tagged memory
jeanmon
committed
Merge branch 'avm-main' into jm/3644-mem-tag
jeanmon
committed
3644 - enhance negative unit tests with tagging the failing relations
jeanmon
committed

Commits on Dec 18, 2023

3644 - unit tests for tagged memory and various improvements
jeanmon
committed
3644 - repair build
jeanmon
committed
3644 - comments changes
jeanmon
committed

Commits on Dec 19, 2023

Merge branch 'avm-main' into jm/3644-mem-tag
jeanmon
committed
3644 - fix after merge from avm-main
jeanmon
committed
3644 - enhance explanations for memory tag error handling
jeanmon
committed