Skip to content

Pull requests: circify/circ

New pull requestNew
12 Open 189 Closed
12 Open 189 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 reviewsReview requiredApproved reviewChanges requested
Assignee
Filter by who’s assigned
Assigned to nobodyLoading
Sort
Sort by
NewestOldestMost commentedLeast commentedRecently updatedLeast recently updatedBest match
Most reactions
👍👎😄🎉😕❤️🚀👀

Pull requests list

fix(r1cs): route wide shifts at the bit level
#251 opened Aug 4, 2026 by NullWitnessZK • Draft
1
fix(r1cs): lower unsafe wide arithmetic bitwise
#253 opened Aug 4, 2026 by NullWitnessZK • Draft
1
fix: fold boolean OR complements to true
#252 opened Aug 4, 2026 by NullWitnessZK • Draft
1
fix(r1cs): constrain wide unsigned division bitwise
#250 opened Aug 4, 2026 by NullWitnessZK • Draft
1
fix: preserve arrays on false conditional stores
#249 opened Aug 4, 2026 by NullWitnessZK • Draft
1
fix: reject late writes from covering ROMs
#248 opened Aug 4, 2026 by NullWitnessZK • Draft
1
support ROM for zsharp-curly
#241 opened Jul 20, 2026 by kmerrill18ContributorLoading…
1
frontend and ir optimizations
#239 opened May 4, 2026 by kmerrill18ContributorLoading…
Add support for IEEE 754 floats
#225 opened Feb 21, 2025 by lorenzorota • Draft
1 of 4 tasks
3
Partitioning, ILP, Def-Use-Graph, and Mutations
#158 opened Mar 21, 2023 by edwjchenCollaboratorLoading…
Exposing vector_add to zok frontend
#78 opened Apr 26, 2022 by edwjchenCollaboratorLoading…
35
Added SEAL library and FHE mode
#41 opened Jan 10, 2022 by NorthrimCollaboratorLoading…
44
ProTip! Exclude everything labeled bug with -label:bug.