github.com/llvm/circt issues | Ecosyste.ms: OpenCollective

[ExportVerilog] Fix two state type emission of aggregate types

uenoku opened this pull request 7 months ago

[CMake] Installation fails if SLANG_ENABLE_FRONTEND is enabled

cepheus69 opened this issue 7 months ago

Add missing header includes

rwy7 opened this pull request 7 months ago

[ESI Runtime] Read ports now invoke callbacks

teqdruid opened this pull request 7 months ago

Fix paths in tests for windows builds

rwy7 opened this pull request 7 months ago

[NFCI][OM][SSP][SystemC] Refactor TableGen Pass includes

fzi-hielscher opened this pull request 7 months ago

[NFCI][LLHD][Moore][SV][Verif] Refactor TableGen Pass includes

fzi-hielscher opened this pull request 7 months ago

[NFCI][Calyx] Refactor TableGen Pass includes

fzi-hielscher opened this pull request 7 months ago

[NFCI][DC][FSM][Handshake][Pipeline] Refactor TableGen Pass includes

fzi-hielscher opened this pull request 7 months ago

[NFCI][Comb][HW][Seq] Refactor TableGen Pass includes

fzi-hielscher opened this pull request 7 months ago

[NFCI][ESI][Ibis][MSFT] Refactor TableGen Pass includes

fzi-hielscher opened this pull request 7 months ago

[NFCI][FIRRTL] Refactor TableGen Pass includes

fzi-hielscher opened this pull request 7 months ago

[FIRRTL][ExpandWhens] Add StmtExprVisitor to Visitor and Support DPI intrinsic in ExpandWhens

uenoku opened this pull request 7 months ago

[LowerDPI] Refactor the lowering logic to a helper struct, NFC

uenoku opened this pull request 7 months ago

[Verif] Add PrepareForFormal pass

dobios opened this pull request 7 months ago

[NFCI][Conversion] Refactor TableGen Pass includes

fzi-hielscher opened this pull request 7 months ago

[NFCI][Transforms] Refactor TableGen Pass includes

fzi-hielscher opened this pull request 7 months ago

[NFC][ExportVerilog] Rename generated `options` member.

fzi-hielscher opened this pull request 7 months ago

[CI] ccache doens't work on nightly integration tests

uenoku opened this issue 7 months ago

[LowerDPI] Defer deletion of call ops to prevent inavlid access.

fzi-hielscher opened this pull request 7 months ago

[FIRRTL] Dialect/FIRRTL/lower-dpi-error.mlir failed in nightly integration tests

uenoku opened this issue 7 months ago

[ExportVerilog] Avoid using interface pass for PrepareForEmission, NFCI

uenoku opened this pull request 7 months ago

Bump llvm

uenoku opened this pull request 7 months ago

[FIRRTL] StrictModuleOp

darthscsi opened this pull request 7 months ago

[FIRRTL] Instance cycle - diagnose, don't crash

dtzSiFive opened this issue 7 months ago

[Calyx] Passing memories by reference

jiahanxie353 opened this pull request 7 months ago

[FIRRTL][ExportVerilog] Emit integers on DPI function as two state C-compatible types and clarify ABI

uenoku opened this pull request 7 months ago

[MooreToCore] Add conversion support for conditional and yield.

angelzzzzz opened this pull request 7 months ago

[Moore] Add the SimplifyProcedures pass.

hailongSun2000 opened this pull request 7 months ago

[FIRRTL] Add pass to specialize layers

youngar opened this pull request 7 months ago

[MooreToCore] Support moore.condintion lower to Core

mingzheTerapines opened this pull request 7 months ago

[ImportVerilog] [SROA] [Mem2Reg][Canonicalizers]Support Passes for Nested Type

mingzheTerapines opened this pull request 7 months ago

[firtool] Remove `LTLToCore` pass from `verification-flavor=immediate` pipeline

dobios opened this pull request 7 months ago

[FIRRTL][Metadata] Add the path to the DUT, in the SiFive metadata class.

prithayan opened this pull request 7 months ago

[ESI] Ensure esi-cosim.py ends in build/bin folder

mortbopet opened this pull request 7 months ago

[Moore] Add evenOp to handle event controls.

hailongSun2000 opened this pull request 7 months ago

[ESI][PyCDE] Callback service

teqdruid opened this pull request 7 months ago

Windows compile error

teqdruid opened this issue 7 months ago

[FIRRTL] Enable StrictWire Conversion right before LowerToHW

darthscsi opened this pull request 7 months ago

[FIRRTL][Verif][LTL] Replace `ltl.disable` with an enable folded into `verif.assert`

dobios opened this pull request 7 months ago

[FIRRTL] Cast to AnyRefType for metadata output port.

mikeurbach opened this pull request 7 months ago

[HW] InstanceOp verifier failure

HahaLan97 opened this issue 7 months ago

[Docs] Update Python bindings pip instructions

leonardt opened this pull request 7 months ago

[Arc] Add VectorizeOp canonicalization

elhewaty opened this pull request 7 months ago

[Verif] Add formal test intent ops

dobios opened this pull request 7 months ago

[FIRRTL][LowerLayers] Lower layers does not update HPs of non-local annotations

youngar opened this issue 7 months ago

[FIRRTL] Strict Instance Operation

darthscsi opened this pull request 7 months ago

[HW] Incorrect SSA names for instance op.

uenoku opened this issue 7 months ago

[FIRRTL][InferResets] Learn how to trace through nodes.

dtzSiFive opened this pull request 7 months ago

Capitalize Mode in github workflow.

darthscsi opened this pull request 7 months ago

[FIRRTL] Add DPI call intrinsic and lowering pass

uenoku opened this pull request 7 months ago

[FIRRTL] Remove "Forceable" interface, simplify and cleanup

dtzSiFive opened this pull request 7 months ago

[FIRRTL][Parser] Never use forceable

dtzSiFive opened this pull request 7 months ago

[FIRRTL] Support abstract reset in RWProbeOp

dtzSiFive opened this pull request 7 months ago

[FIRRTL][NFC] Move IST -> FieldRef to FIRRTLUtils.h

dtzSiFive opened this pull request 7 months ago

[FIRRTL] Document how flow and flip are removed from the firtool pipeline.

darthscsi opened this pull request 7 months ago

[FIRRTL] Conversion pass to create strict wires

darthscsi opened this pull request 7 months ago

[MooreToCore] Add conversion support for module and instance.

cepheus69 opened this pull request 7 months ago

[Docs][LTL] Add SVA Encodings to LTL rationale

dobios opened this pull request 7 months ago

[FIRRTL] Actually copy the leading part of the path in LowerClasses.

mikeurbach opened this pull request 7 months ago

[FIRRTL] Simplify path handling in ResolvePaths and LowerClasses.

mikeurbach opened this pull request 7 months ago

[FIRRTL] LowerClasses should enforce single instantiation

mikeurbach opened this issue 7 months ago

[FIRRTL][DropConst] Preserve alias?

dtzSiFive opened this issue 7 months ago

[FIRRTL][DropConst] Fix performance with many extmodule's.

dtzSiFive opened this pull request 7 months ago

[FIRRTL] LowerClasses doesn't actually copy the leading part of the path from the owning module to the start of the NLA

mikeurbach opened this issue 7 months ago

[CombFolds] Relax block optimization barrier by pulling constants

fzi-hielscher opened this pull request 7 months ago

[Ibis] Divorce symbol and actual names in class and container ops

mortbopet opened this pull request 7 months ago

[ImportVerilog][MooreToCore]Lower moore.namedConstant to hw.constant & hw.wire

mingzheTerapines opened this pull request 7 months ago

Backport parentheses fix to 1.5.x

uenoku opened this pull request 7 months ago

[FIRRTL] Add a new op interface for combinational loop detection.

prithayan opened this pull request 7 months ago

[FIRRTL] Ops to operate on LHSType.

darthscsi opened this pull request 7 months ago

[FIRRTL] Wires and Registers with read and write ports

darthscsi opened this pull request 7 months ago

[FIRRTL] LHSType wrapper to indicate writable values.

darthscsi opened this pull request 7 months ago

[NFC, FIRRTL] Rename StrictConnect to MatchingConnect.

darthscsi opened this pull request 7 months ago

[Docs] Installing Python bindings with pip

leonardt opened this issue 7 months ago

[Docs] Add "Open Projects" page

uenoku opened this issue 7 months ago

[Arc] Add statistics to the FindInitialVectors pass

elhewaty opened this pull request 7 months ago

[Moore] Add module and instance port support

fabianschuiki opened this pull request 7 months ago

[FIRRTL][Sim] Add `fopen` and `fclose` intrinsics, add `fd` operand to `printf`

SpriteOvO opened this pull request 7 months ago

CMake: Fix CIRCT_ENABLE_FRONTENDS to be string not bool.

dtzSiFive opened this pull request 7 months ago

[FIRRTL] Emulate tap-as-passive for no-ref-ports option.

dtzSiFive opened this pull request 7 months ago

[FIRRTL] Generate memportaccess op index as UInt.

dtzSiFive opened this pull request 7 months ago

[FIRRTL] Visitor: Add missing ops, fix GenericIntrinsicOp visit.

dtzSiFive opened this pull request 7 months ago

[FIRRTL] firrtl-lower-signatures fails for enum types

programmerjake opened this issue 7 months ago

[Verif] Fold disables into Property in LTLToCore

dobios opened this pull request 7 months ago

[Verif] Allow for `disable` to be optional and infer it from property

dobios opened this pull request 7 months ago

LLVM bump

debs-sifive opened this pull request 7 months ago

[FIRRTL][LowerClass] Pre-allocate namespaces before capturing references

uenoku opened this pull request 8 months ago

[MooreToCore] Support initial lowering to LLHD

mingzheTerapines opened this pull request 8 months ago

[Arc] Fix crashes in FindInitialVectors Pass

elhewaty opened this pull request 8 months ago

[FIRRTL] Crash in LowerClasses with "corrupted double-linked list"

mikeurbach opened this issue 8 months ago

[CombToSMT] Register dependency on func

maerhart opened this pull request 8 months ago

[FIRRTL] Drop Hoistpassthroughs pass.

dtzSiFive opened this pull request 8 months ago

[CombToSMT] Func dialect dependency is missing

uenoku opened this issue 8 months ago

[Moore] Introduce RefType and tweak the related ops.

hailongSun2000 opened this pull request 8 months ago

[SV] BindOp::verifySybmolUses could be expensive

uenoku opened this issue 8 months ago

Flatten memref GetGlobal and Global operations

jiahanxie353 opened this pull request 8 months ago

[FIRRTL][Sim] Add `fopen` and `fclose`

SpriteOvO opened this issue 8 months ago

[Moore] Move struct types into ODS

fabianschuiki opened this pull request 8 months ago

[Moore] Support stripped type parsing and printing

fabianschuiki opened this pull request 8 months ago