-
Notifications
You must be signed in to change notification settings - Fork 452
Pull requests: llvm/circt
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
[Synth] Make LowerVariadic run on any operation.
#10242
opened Apr 16, 2026 by
joaovam
Contributor
Loading…
[ImportVerilog] Add support for pullup/pulldown primitives
#10239
opened Apr 16, 2026 by
TaoBi22
Contributor
Loading…
[circt-verilog] Add -Xslang passthrough flag for Slang frontend.
#10238
opened Apr 16, 2026 by
jpienaar
Member
Loading…
Plumb dbg.variable anchors into SMT symbol names
#10237
opened Apr 16, 2026 by
5iri
Contributor
Loading…
ImportVerilog: fix signedness propagation in ConversionExpression lowering
#10235
opened Apr 16, 2026 by
kaituo-crypto
Loading…
[Synth] Make FunctionalReduction runnable on any op
#10230
opened Apr 15, 2026 by
SmitVaishnav
Contributor
Loading…
[FIRRTL][LowerLayers] Add probe type support
#10223
opened Apr 15, 2026 by
prithayan
Contributor
Loading…
[Sim] Add cascade erase for print/proc.print format/get_file producer chains
#10204
opened Apr 14, 2026 by
nanjo712
Contributor
Loading…
[FIRRTL] InferDomains: drive undriven domain wires
#10197
opened Apr 13, 2026 by
rwy7
Contributor
Loading…
[Synth][CutRewriter] Add timing-preserving area-flow reselection
#10193
opened Apr 13, 2026 by
uenoku
Member
Loading…
[SSP] Reimplement auxiliary dependences without symbols
#10189
opened Apr 12, 2026 by
jopperm
Contributor
Loading…
[Moore][ImportVerilog] Implement static $cast via materializeConversion
ImportVerilog
#10156
opened Apr 8, 2026 by
sunhailong2001
Contributor
Loading…
[FIRRTLToHW] Lower firrtl.attach to new hw.attach and migrate SV-specific lowering logic to HWToSV.
#10138
opened Apr 6, 2026 by
nanjo712
Contributor
Loading…
[Verif] Preserve labeled assert/assume ops during canonicalization
verif
#10114
opened Apr 3, 2026 by
fabianschuiki
Contributor
Loading…
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.