-
Notifications
You must be signed in to change notification settings - Fork 406
Pull requests: llvm/circt
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
[circt-test] Add options to pick only formal/simulation tests
#9411
opened Jan 5, 2026 by
fabianschuiki
Loading…
[circt-test] Add supported test kind to runner config
#9410
opened Jan 5, 2026 by
fabianschuiki
Loading…
[ESI] Handle possible exception in
RpcServer::SendToServer
#9409
opened Jan 5, 2026 by
mortbopet
Loading…
[FIRRTL] Extend LinkCircuits to handle extmodule collisions
#9404
opened Jan 4, 2026 by
unlsycn
Loading…
[MooreToCore][Sim] Added support for
moore.fmt.real
Moore
Simulator
#9397
opened Dec 30, 2025 by
KavyaChopra04
Loading…
[LTL] Make ltl.delay clocking explicit (add %clock and <edge> operands)
#9392
opened Dec 29, 2025 by
Clo91eaf
Loading…
Avoid crash on memref.global without dense initializer
#9391
opened Dec 28, 2025 by
RCoeurjoly
Loading…
[FSM] Lower the FSM dialect
SMT
FSM to SMT dialect
FSM
#9379
opened Dec 22, 2025 by
luisacicolini
•
Draft
[ArcRuntime] Add runtime library implementation for arcilator
Arc
Involving the `arc` dialect
#9356
opened Dec 17, 2025 by
fzi-hielscher
Loading…
Bump LLVM to 26ff16663777fc995e8c6b46fa2433610dab4f64.
#9340
opened Dec 13, 2025 by
mikeurbach
Loading…
[Firtool] Add FlattenModules pass with command-line options
#9285
opened Dec 2, 2025 by
prithayan
Loading…
[Comb] Add canonicalization for comb.truth_table
Comb
Involving the `comb` dialect
#9214
opened Nov 8, 2025 by
MrRoy09
Loading…
[HW] Add HWConstProp pass for inter-module constant propagation
#9207
opened Nov 7, 2025 by
prithayan
Loading…
[RTG] Add folders for most set operations
RTG
Involving the `rtg` dialect
#9190
opened Nov 5, 2025 by
maerhart
Loading…
[FIRRTL] Add alternative constraint-based InferWidths pass
#9173
opened Nov 3, 2025 by
wky17
Loading…
Previous Next
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.