Skip to content

Pull requests: llvm/circt

New pull request New
183 Open 6,843 Closed
183 Open 6,843 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

[LTLToCore] Add core lowering for boolean implication
#9456 opened Jan 15, 2026 by TaoBi22 • Draft
1
[Sim] Rework constant folding of sim.fmt.* operations Simulator Involving the Sim dialect or other simulation concerns
#9455 opened Jan 15, 2026 by fzi-hielscher Loading…
Add circt-tblgen, generate FIRRTL intrinsics docs
#9454 opened Jan 15, 2026 by fabianschuiki Loading…
[FIRRTL] Add DomainKind attribute to WireOp for domain-typed Wires
#9453 opened Jan 14, 2026 by MrRoy09 Loading…
[InnerSymbolTable] Expose a method to add an InnerSymTarget.
#9446 opened Jan 13, 2026 by mikeurbach Loading…
4
[Arc] Add nascent support for sim.proc.print and sim.fmt.* Arc Involving the `arc` dialect
#9442 opened Jan 13, 2026 by jmolloy Loading…
12
[verif] Add combine-assert-like pass verif
#9437 opened Jan 9, 2026 by dobios Loading…
22
[Synth] Refactor CutRewritePattern to return area/delay from match()
#9434 opened Jan 9, 2026 by uenoku Loading…
[FIRRTL] Drop Source/Sink Annotation Support
#9429 opened Jan 8, 2026 by seldridge • Draft
1
[FIRRTL] Extend LinkCircuits to handle extmodule collisions
#9404 opened Jan 4, 2026 by unlsycn Loading…
6
[LLVM] try/integrate llvm/llvm-project#171775
#9402 opened Jan 3, 2026 by makslevental • Draft
2
[FIRRTL] Add folders for IntegerShrOp
#9401 opened Jan 2, 2026 by stomfaig Loading…
1
7
[LTL] Make ltl.delay clocking explicit (add %clock and <edge> operands)
#9392 opened Dec 29, 2025 by Clo91eaf • Draft
5
Avoid crash on memref.global without dense initializer
#9391 opened Dec 28, 2025 by RCoeurjoly Loading…
1
1
[FSM] Lower FSM to SMT dialect FSM the FSM dialect SMT
#9379 opened Dec 22, 2025 by luisacicolini • Draft
21
[ESI] Add type ser/de capability
#9353 opened Dec 17, 2025 by mortbopet Loading…
13
[Firtool] Add FlattenModules pass with command-line options
#9285 opened Dec 2, 2025 by prithayan Loading…
2
[HW] Add HWVectorization pass
#9222 opened Nov 10, 2025 by mafeguimaraes Loading…
8
[HW] Add HWConstProp pass for inter-module constant propagation
#9207 opened Nov 7, 2025 by prithayan Loading…
13
[RTG] Add folders for most set operations RTG Involving the `rtg` dialect
#9190 opened Nov 5, 2025 by maerhart Loading…
1
[FIRRTL] Add alternative constraint-based InferWidths pass
#9173 opened Nov 3, 2025 by wky17 Loading…
1
28
[ESI] Add missing ensureValid calls
#9137 opened Oct 24, 2025 by mortbopet Loading…
Deduplicate mulitple moore.procedure ops that with identical wait_eve…
#9101 opened Oct 16, 2025 by SimonEbner Loading…
[ESI] Add serde support for wide integers
#9091 opened Oct 14, 2025 by mortbopet Loading…
1
No custom printer for CompReg - leading to loss of quotation marks Resolves #8833 bug Something isn't working Seq Involving the `seq` dialect
#9049 opened Oct 4, 2025 by KaiS987 Loading…
1
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.