-
Notifications
You must be signed in to change notification settings - Fork 2
Pull requests: verifereum/vyper-hol
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add simplify-cfg theory scaffolding and PHI proofs
#32
opened Dec 30, 2025 by
charles-cooper
•
Draft
Add intermediate JSON AST layer for cleaner parsing
#22
opened Dec 18, 2025 by
charles-cooper
Loading…
2 of 3 tasks
Add branch optimization pass for Venom IR
#20
opened Dec 10, 2025 by
charles-cooper
Loading…
2 tasks done
Add ASSIGN elimination pass correctness proof
#19
opened Dec 9, 2025 by
charles-cooper
Loading…
2 of 3 tasks
SimplifyCFG pass: block merging proofs
#18
opened Dec 9, 2025 by
charles-cooper
Loading…
1 task done
SSA construction correctness proofs for make_ssa pass
#17
opened Dec 9, 2025 by
charles-cooper
•
Draft
ProTip!
Updated in the last three days: updated:>2026-01-01.