Skip to content

Pull requests: lfglabs-dev/verity

New pull request New
16 Open 1,499 Closed
16 Open 1,499 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat(Codegen): factor solidityPanicPayload for Panic(uint256) emission (#1999)
#2030 opened Jun 13, 2026 by Th0rgal Member Loading…
1
feat: self-delegate multicall helper (#1997)
#2029 opened Jun 13, 2026 by Th0rgal Member Loading…
3 tasks done
3
feat: checked-arithmetic helper emission (#1993 emission half)
#2028 opened Jun 13, 2026 by Th0rgal Member Loading…
4 tasks done
1
feat: bytecode immutables (#1992)
#2027 opened Jun 13, 2026 by Th0rgal Member Loading…
5 tasks done
5
Transient storage fields (#1995)
#2021 opened Jun 12, 2026 by Th0rgal Member Loading…
3 tasks done
3
Source-shaped dynamic event proof surface (#2000)
#2020 opened Jun 12, 2026 by Th0rgal Member Loading…
3 tasks done
1
Bitmap iterator surface (#1996)
#2019 opened Jun 12, 2026 by Th0rgal Member Loading…
3 tasks done
1
3
Allow runtime scalar custom error args (#1974)
#2017 opened Jun 12, 2026 by Th0rgal Member Loading…
3 of 4 tasks
1
Support dynamic/composite internal helper args (#1889)
#2016 opened Jun 12, 2026 by Th0rgal Member Loading…
4 of 5 tasks
1
4
Derive frame theorems from declared effects (#1895)
#2015 opened Jun 12, 2026 by Th0rgal Member Loading…
3 of 4 tasks
1
Surface checked arithmetic proof obligations (#1993)
#2013 opened Jun 12, 2026 by Th0rgal Member Loading…
3 of 4 tasks
3
Bitfield-packed struct storage writes in mappings (#1976)
#2011 opened Jun 12, 2026 by Th0rgal Member Loading…
3 of 4 tasks
1
2
Execution summary frame theorems (#1994)
#2009 opened Jun 12, 2026 by Th0rgal Member Loading…
3 of 4 tasks
1
Coupling invariant frame rules (#1990 part 3/3)
#2008 opened Jun 12, 2026 by Th0rgal Member Loading…
3 of 4 tasks
1
Write footprint computation + soundness (#1990 part 2/3)
#2007 opened Jun 12, 2026 by Th0rgal Member Loading…
3 of 4 tasks
1
Frame rule for the IR interpreter (#1990 part 1/3)
#2005 opened Jun 12, 2026 by Th0rgal Member Loading…
2 of 3 tasks
1
ProTip! Follow long discussions with comments:>50.