Skip to content

Pull requests: SPbSAT/cirbo

New pull request New
6 Open 96 Closed
6 Open 96 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 synthesis: add log-depth square and AIG basis
#143 opened Sep 18, 2026 by HSPyroblast Collaborator Loading…
2
fix synthesis: allow input to be set as output in the CircuitFinderSat bug Something isn't working synthesis
#142 opened Sep 17, 2026 by spefk Collaborator Loading…
1
feat data: provably optimal AIG/XAIG databases
#140 opened Sep 17, 2026 by Seva-Vaskin Collaborator Loading…
3
4
feat repo: add agent research workflow skills
#132 opened Aug 9, 2026 by denksworkspace Collaborator Loading…
@denksworkspace
13
Synthesis: CRT, signed mul, log-depth sum, sub and mul
#119 opened Jul 26, 2026 by HSPyroblast Collaborator Loading…
23
feat all: add AIG parser and RemoveConstantGates minimization circuit-class core simplification
#109 opened Dec 3, 2025 by Seva-Vaskin Collaborator Loading…
24
ProTip! Type g i on any issue or pull request to go back to the issue listing page.