fix(avm)!: pre-audit review of context.pil#19549

Merged

jeanmon merged 32 commits into

merge-train/avmfrom

jean/avm-44-execution-contextpil

Jan 14, 2026

Commits on Jan 14, 2026

Cleanup cpp headers
jeanmon
committed
Build fix - missing includes
jeanmon
committed
fix fuzzer build
jeanmon
committed
Document simulation functions
jeanmon
committed
Tracegen docu functions
jeanmon
committed
Tracegen - migrate boolean to FF implicit conversion
jeanmon
committed
Comments on pc and next_pc in tracegen
jeanmon
committed
Comments in context_stack.pil
jeanmon
committed
Comments on context_id lifecyle in context.pil
jeanmon
committed
parent_id init constraint and comments
jeanmon
committed
Comments on pc and next_pc in context.pil
jeanmon
committed
Simplifications for nested selectors
jeanmon
committed
Reduce unnecessary gating got sel_enter_call
jeanmon
committed
Simplify alias DEFAULT_CTX_ROW
jeanmon
committed
Comments for msg_sender, contract_address, bytecode_id in context.pil
jeanmon
committed
Propagation of transaction fee
jeanmon
committed
is_static propagation comments in context.pil
jeanmon
committed
Comments in context.pil for calldata_addr/size
jeanmon
committed
comments on return_data size/addr in context.pil
jeanmon
committed
Comments for last_child_success in context.pil
jeanmon
committed
Comments on last_child_id in context.pil
jeanmon
committed
Comments related to gas limits in context.pil
jeanmon
committed
Simplify DEFAULT_CTX_ROW
jeanmon
committed
parent gas used in context.pil
jeanmon
committed
Retrieved bytecodes
jeanmon
committed
Comments on l2/da gas used, tree states, context stack in context.pil
jeanmon
committed
Comments on partitioning
jeanmon
committed
boolean annotations
jeanmon
committed
Superfluous space character
jeanmon
committed
Comment and generated files
jeanmon
committed
Addressing review feedback
jeanmon
committed
Remove an old TODO
jeanmon
committed