Skip to content

Pull requests: llvm/circt

New pull request New
210 Open 7,387 Closed
210 Open 7,387 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

[Synth][CutRewriter] Add signature filtering
#10120 opened Apr 4, 2026 by uenoku Loading…
[FIRRTL] Add FIRRTL Exporter Version Support
#10119 opened Apr 4, 2026 by seldridge • Draft
[TruthTable][Synth] Add precomputed 4-input NPN lookup table
#10118 opened Apr 4, 2026 by uenoku Loading…
[FIRRTL] InferDomains: Fix wire updating FIRRTL Involving the `firrtl` dialect
#10115 opened Apr 3, 2026 by rwy7 Loading…
1
[Verif] Preserve labeled assert/assume ops during canonicalization verif
#10114 opened Apr 3, 2026 by fabianschuiki Loading…
2
[FIRRTL] Fix mask repeat order in FlattenMemory
#10106 opened Apr 3, 2026 by Waryc • Draft
1
9
Do not merge: CI debugging
#10103 opened Apr 2, 2026 by fabianschuiki • Draft
2
Reject adding truncations for connections on inferwidths
#10100 opened Apr 1, 2026 by darthscsi Loading…
2
ImportVerilog: improve testbench compatibility
#10095 opened Apr 1, 2026 by AmurG Loading…
9
[FIRRTL][OM] Add property asserts
#10093 opened Apr 1, 2026 by seldridge • Draft
5
[circt-reduce] Add domain field remover
#10062 opened Mar 27, 2026 by seldridge • Draft
1
[circt-bmc] Include bound in violation and success messages
#10056 opened Mar 26, 2026 by AnmolM-777 Loading…
1
[circt-bmc] Include bound in violation and success messages
#10051 opened Mar 26, 2026 by AnmolM-777 Loading…
2
Conditonally add external attribute for memory element
#10050 opened Mar 26, 2026 by Abhilekhgautam Loading…
1
3
Bump LLVM to 80603c6672226cb48798bd60120c8f859dbeca19.
#10047 opened Mar 26, 2026 by mikeurbach Loading…
12
[FIRRTL] Improve domain port naming in InferDomains pass
#10037 opened Mar 25, 2026 by seldridge • Draft
[ExportVerilog] Fix XMR paths for inner symbols in generate.case (#9972)
#10025 opened Mar 24, 2026 by Salmooo Loading…
16
[FIRRTL] Invalids as constants in InferDomains
#10022 opened Mar 24, 2026 by seldridge • Draft
1
[HWFlattenModules] Add support for verif.formal parent ops.
#9984 opened Mar 19, 2026 by dobios • Draft
2
[RTG][circt-tblgen] Use config vars for include paths RTG Involving the `rtg` dialect
#9982 opened Mar 19, 2026 by maerhart Loading…
1
1
[Handshake] Fix argument index tracking with multiple ext memref args
#9978 opened Mar 19, 2026 by TopiLeppanen Loading…
1
[FIRRTL] Emit memory initialization metadata FIRRTL Involving the `firrtl` dialect
#9974 opened Mar 18, 2026 by fzi-hielscher Loading…
1
[Datapath] Implement Add with Carry-In to Improve Subtraction Circuit Implementation
#9949 opened Mar 16, 2026 by sarthakmangla1 • Draft
1 task
8
[ImportVerilog][Sim] Added remaining Moore instructions for dynamic arrays, as well as the corresponding Sim dialect instructions
#9944 opened Mar 15, 2026 by yuriyKulinchenko Loading…
1
[FIRRTLToHW] Fix crash when lowering instance_choice with clock outputs
#9941 opened Mar 14, 2026 by seldridge • Draft
3
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.