Skip to content

fix!: claude-generated pre-audit for bitwise in avm - soundness bug and edge-case tests#19247

Closed
dbanks12 wants to merge 2 commits into
merge-train/avmfrom
db/claude-audit-bitwise
Closed

fix!: claude-generated pre-audit for bitwise in avm - soundness bug and edge-case tests#19247
dbanks12 wants to merge 2 commits into
merge-train/avmfrom
db/claude-audit-bitwise

fix: add missing boolean constraint for start_sha256 in bitwise.pil

2ca82e2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar