Skip to content

Pull requests: project-llzk/llzk-lib

New pull request New
26 Open 606 Closed
26 Open 606 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

Update tests that don't need to XFAIL
#756 opened Sep 23, 2026 by tim-hoffman Member Loading…
3
Fix InlineStructs successor call matching
#755 opened Sep 22, 2026 by shankarapailoor Contributor Loading…
6 of 7 tasks
5
Scalarize uninitialized nested POD records
#754 opened Sep 22, 2026 by shankarapailoor Contributor Loading…
6 of 7 tasks
16
Fix cast constant folding and document overflow semantics
#743 opened Sep 18, 2026 by tim-hoffman Member • Draft
12
Fix flattening pass bugs.
#740 opened Sep 18, 2026 by tim-hoffman Member • Draft
11
Cache access analysis during scalar lowering
#737 opened Sep 15, 2026 by shankarapailoor Contributor • 3/3 Loading…
6 of 7 tasks
1
Promote straight-line arrays before SROA
#736 opened Sep 15, 2026 by shankarapailoor Contributor • 2/3 Loading…
6 of 7 tasks
3
Support struct.readm/writem of array-of-felt members
#732 opened Sep 14, 2026 by raghav198 Contributor • 1/3 • Draft
1
Basic array lowering
#729 opened Sep 14, 2026 by raghav198 Contributor • 2/3 • Draft
7
Upgrade to LLVM 23.1.0
#722 opened Sep 10, 2026 by tim-hoffman Member • Draft
1
Fix in-place test-check generation
#697 opened Aug 24, 2026 by 1sgtpepper Contributor Loading…
6 of 7 tasks
1
7
handle heterogeneous arrays in flattening pass
#660 opened Jul 30, 2026 by tim-hoffman Member • Draft
1
241
Refine boolean and dependency normalization
#653 opened Jul 28, 2026 by iangneal Contributor • 6/6 • Draft
6 of 7 tasks
1
Normalize compute and constrain dependencies
#652 opened Jul 28, 2026 by iangneal Contributor • 5/6 • Draft
6 of 7 tasks
1
Traverse overlapping constraint dependencies
#651 opened Jul 28, 2026 by iangneal Contributor • 4/6 • Draft
4 of 7 tasks
1
Preserve aggregate state through SCF
#650 opened Jul 28, 2026 by iangneal Contributor • 3/6 • Draft
4 of 7 tasks
1
Stateful POD and aggregate storage
#649 opened Jul 28, 2026 by iangneal Contributor • 2/6 • Draft
4 of 7 tasks
58
Arithmetize constraint-side scf.if operations
#643 opened Jul 24, 2026 by krushimir • Draft
15
Add pass to algebraize felt operations
#640 opened Jul 23, 2026 by krushimir • Draft
17
Reuse function specializations by source identity
#637 opened Jul 23, 2026 by 1sgtpepper Contributor • Draft
6 of 7 tasks
1
Preserve deferred template expressions
#635 opened Jul 23, 2026 by 1sgtpepper Contributor • Draft
6 of 7 tasks
Verify felt template argument fields
#634 opened Jul 23, 2026 by 1sgtpepper Contributor • Draft
6 of 7 tasks
v3.0.0
63
verif to smt conversion
#549 opened Jun 17, 2026 by iangneal Contributor • Draft
68
Fuse matching product scf.if regions
#484 opened May 26, 2026 by 1sgtpepper Contributor Loading…
5 of 7 tasks
62
Basic Support for Channels
#410 opened Apr 15, 2026 by shankarapailoor Contributor • Draft
14
ProTip! Mix and match filters to narrow down what you’re looking for.