Search results

[Arc] Non-determinism in SplitFuncPass

ArcInvolving the `arc` dialectInvolving the `arc` dialect

bugSomething isn't workingSomething isn't working

Status: Open.

#10215 In llvm/circt;

· uenoku opened on Apr 15, 2026

PR/Issue template for AI policy?

Status: Open.

#10213 In llvm/circt;

· uenoku opened on Apr 14, 2026

[Comb] Assertion failure in type inference for width-changing ops (e.g. ConcatOp) with symbolic hw::IntType

Status: Open.

#10207 In llvm/circt;

· mafeguimaraes opened on Apr 14, 2026

[AIGERImporter] Support Bad state and Inveriants for Formal Verification application

good first issueGood for newcomersGood for newcomers

Synth

Status: Open.

#10203 In llvm/circt;

· uenoku opened on Apr 14, 2026

[Synth][FunctionalReduction] Refine equiv class candidates using counterexamples

Synth

Status: Open.

#10192 In llvm/circt;

· uenoku opened on Apr 13, 2026

[MooreToCore] Bugs breaking SV compilation: Ternary logic, DisableIff, and ClockingBlock

Status: Open.

#10191 In llvm/circt;

· thcoura opened on Apr 13, 2026

[ARC] arcilator fails to legalize 'llhd.process' during class instantiation lowering

Status: Open.

#10187 In llvm/circt;

· m2kar opened on Apr 12, 2026

[CIRCT-VERILOG][ARC] arcilator fails on valid SystemVerilog always_ff with async reset

Status: Open.

#10186 In llvm/circt;

· m2kar opened on Apr 12, 2026

[CIRCT-VERILOG][ARC] arcilator fails to legalize llhd.process from always_comb with for loop

Status: Open.

#10185 In llvm/circt;

· m2kar opened on Apr 12, 2026

[ARC] arcilator FlattenModulesPass self-RAUW assertion crash with self-referential port connection

Status: Open.

#10184 In llvm/circt;

· m2kar opened on Apr 12, 2026

[CI] Add Nightly Build of Split LLVM Build

Status: Open.

#10144 In llvm/circt;

· seldridge opened on Apr 7, 2026

[CI] Support MSFT Build Pool in UBTI

Status: Open.

#10143 In llvm/circt;

· seldridge opened on Apr 7, 2026