Skip to content

Pull requests: lfglabs-dev/verity

New pull request New
45 Open 1,611 Closed
45 Open 1,611 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

proof: add signextend expression helper bridges
#2190 opened Jul 11, 2026 by Th0rgal Member Loading…
2
proof: add byte expression helper bridges
#2189 opened Jul 11, 2026 by Th0rgal Member Loading…
2
proof: add shr expression helper bridges
#2188 opened Jul 11, 2026 by Th0rgal Member Loading…
2
proof: add shl expression helper bridges
#2187 opened Jul 11, 2026 by Th0rgal Member Loading…
2
proof: add bitNot expression helper bridge
#2186 opened Jul 11, 2026 by Th0rgal Member Loading…
2
proof: add bitXor expression helper bridges
#2185 opened Jul 11, 2026 by Th0rgal Member Loading…
2
proof: add bitOr expression helper bridges
#2184 opened Jul 11, 2026 by Th0rgal Member Loading…
2
proof: add bitAnd expression helper bridges
#2183 opened Jul 11, 2026 by Th0rgal Member Loading…
2
proof: add mod expression helper bridges
#2182 opened Jul 11, 2026 by Th0rgal Member Loading…
2
proof: add div expression helper bridges
#2181 opened Jul 11, 2026 by Th0rgal Member Loading…
2
proof: consume left-sub expression helper bridge
#2180 opened Jul 11, 2026 by Th0rgal Member • Draft
1
proof: consume right-sub expression helper bridge
#2179 opened Jul 11, 2026 by Th0rgal Member • Draft
1
proof: consume left-mul expression helper bridge
#2178 opened Jul 11, 2026 by Th0rgal Member • Draft
1
proof: consume right-mul expression helper bridge
#2177 opened Jul 11, 2026 by Th0rgal Member • Draft
1
proof: consume left-add expression helper bridge
#2176 opened Jul 11, 2026 by Th0rgal Member • Draft
1
proof: add sub expression helper bridges
#2175 opened Jul 11, 2026 by Th0rgal Member • Draft
1
proof: add mul expression helper bridges
#2174 opened Jul 11, 2026 by Th0rgal Member • Draft
1
proof: add left-add expression helper bridge
#2173 opened Jul 11, 2026 by Th0rgal Member • Draft
1
proof: consume direct helper fuel split sufficient bridge
#2172 opened Jul 11, 2026 by Th0rgal Member • Draft
1
proof: expose direct helper fuel split interface
#2171 opened Jul 11, 2026 by Th0rgal Member • Draft
2
proof: add direct helper sufficient fuel adapters
#2170 opened Jul 11, 2026 by Th0rgal Member • Draft
1
proof: expose direct helper summary step match interface
#2169 opened Jul 11, 2026 by Th0rgal Member • Draft
2
proof: bridge setStorageWord statement preservation
#2168 opened Jul 11, 2026 by Th0rgal Member Loading…
28
proof: package direct helper statement context bridge
#2167 opened Jul 11, 2026 by Th0rgal Member • Draft
1
proof: connect internal helper IR execution to summaries
#2166 opened Jul 11, 2026 by Th0rgal Member • Draft
1
ProTip! Mix and match filters to narrow down what you’re looking for.