Skip to content

Pull requests: LFDT-Lineth/zkc

New pull request New
9 Open 916 Closed
9 Open 916 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

perf: enable partial function call and static memory read
#2191 opened Aug 26, 2026 by letypequividelespoubelles Contributor Loading…
1
@letypequividelespoubelles
28
feat: enforce minimal trace size
#2190 opened Aug 26, 2026 by DavePearce Contributor Loading…
1
perf: optimize bus balance checking
#2189 opened Aug 25, 2026 by OlivierBBB Contributor Loading…
2
feat: indicate functions which go on the bus
#2186 opened Aug 25, 2026 by DavePearce Contributor Loading…
1
feat: sparse representation for empty columns
#2171 opened Aug 21, 2026 by DavePearce Contributor Loading…
1
feat: splitOneHotDisjunction single case analysis
#2165 opened Aug 19, 2026 by OlivierBBB Contributor • Draft
1
refactor: version-based ThreadTimestamps (#2099)
#2122 opened Aug 10, 2026 by OlivierBBB Contributor Loading…
1
@OlivierBBB
1
docs: record the LowerSwitch ordering constraint it now relies on
#2100 opened Aug 3, 2026 by OlivierBBB Contributor Loading…
4
fix: register splitting of casted skip_if
#2039 opened Jul 23, 2026 by letypequividelespoubelles Contributor Loading…
1
@letypequividelespoubelles
3
ProTip! Add no:assignee to see everything that’s not assigned.