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

[RTG] Add bag union operation

maerhart opened this pull request about 1 month ago

[RTG] Add set union operation

maerhart opened this pull request about 1 month ago

[HW] ExportHier: do not include bound in modules

youngar opened this pull request about 1 month ago

[FIRRTL] FoldUnusedBits: minor cleanup

rwy7 opened this pull request about 1 month ago

[FIRRTL] FoldUnusedBits: Cast compressed data back to signed integer

rwy7 opened this pull request about 1 month ago

[FIRRTL] Support layers in MergeConnections

seldridge opened this pull request about 1 month ago

[FIRRTL] fix missing type conversion in FoldRegMems

unlsycn opened this pull request about 1 month ago

[SCFToCalyx] remove redundant build switch group

jiahanxie353 opened this pull request about 1 month ago

[FIRRTL] FoldRegMems: insert new ops into same block as memory

rwy7 opened this pull request about 1 month ago

[FIRRTL] Rip out OMIRTracker and logic that uses it.

mikeurbach opened this pull request about 1 month ago

[FIRRTL] Remove all traces of OMIR JSON support.

mikeurbach opened this pull request about 1 month ago

[DC] Add CAPI bindings for DC

teqdruid opened this pull request about 1 month ago

SCF IndexSwitch to nested If-Else

jiahanxie353 opened this pull request about 1 month ago

[Nightly] Transforms/switch-to-if.mlir fails valgrind test

teqdruid opened this issue about 1 month ago

[circt-bmc][VerifToSMT] Add initial value support

TaoBi22 opened this pull request about 1 month ago

[RTG] Add RegisterOpInterface

maerhart opened this pull request about 1 month ago

[FIRRTL] Cleanup transform includes, NFC

seldridge opened this pull request about 1 month ago

[circt-bmc][VerifToSMT] Pop existing assertions on each cycle

TaoBi22 opened this pull request about 1 month ago

[MooreToCore] Support pows and powu op

Max-astro opened this pull request about 1 month ago

[circt-bmc] Drop outdated integration test

TaoBi22 opened this pull request about 1 month ago

[circt-test] fix lit config for circt-bmc

unlsycn opened this pull request about 1 month ago

[FIRRTL] LowerLayers RefSend could be Canonicalized Away

seldridge opened this issue about 1 month ago

[CI] Bump integration test image to 18.0

fabianschuiki opened this pull request about 1 month ago

[firtool] Fix formal test

fabianschuiki opened this pull request about 1 month ago

[MooreToCore] Lower the unpacked array type to `hw.array`

slowlime opened this pull request about 1 month ago

[RTG][Elaboration] Elaboration support for Bags

maerhart opened this pull request about 1 month ago

[Verif] Require a clock when num_regs is non-zero on a BMC op

TaoBi22 opened this pull request about 1 month ago

[RTG][Elaboration] Add support for arith constants

maerhart opened this pull request about 1 month ago

[RTG] Add some additional debug printing

maerhart opened this pull request about 1 month ago

[RTG] Add BagType CAPI and Python Bindings

maerhart opened this pull request about 1 month ago

[RTG] Add BagType and operations

maerhart opened this pull request about 1 month ago

[circt-test] fix SymbiYosys integration test

unlsycn opened this pull request about 1 month ago

Support case inside

ankolesn opened this pull request about 1 month ago

[circt-test] fix lit config for circt-bmc

unlsycn opened this pull request about 1 month ago

[RTG][RTGTest] Add Python Bindings

maerhart opened this pull request about 1 month ago

[RTG][RTGTest] Add CAPI and a basic lowering pipeline

maerhart opened this pull request about 1 month ago

[FIRRTL] Make IMDCE work for ops w/ regions/blocks

seldridge opened this pull request about 1 month ago

[FIRRTL] Can not canonicalize away memories without more care

youngar opened this issue about 1 month ago

[FIRRTL] Rewrite, extend CheckLayers for GC Views

seldridge opened this pull request about 1 month ago

[VerifToSMT] Only update registers on clock posedge

TaoBi22 opened this pull request about 1 month ago

[FIRRTL] Dedup: dedup private modules into public ones

youngar opened this pull request about 1 month ago

[RTG] Add ElaborationPass

maerhart opened this pull request about 1 month ago

[FIRRTL] Allow non-public modules to dedup with public modules

seldridge opened this issue about 1 month ago

[SMT] Add integration tests for `smt.reset`

TaoBi22 opened this pull request about 1 month ago

[SMT] Add SMTLIB export for push & pop operations

TaoBi22 opened this pull request about 1 month ago

[ExtractInstances] Append original instance name to path in metadata

prithayan opened this pull request about 1 month ago

[HandshakeToDC] Implement ESIInstanceOp lowering

teqdruid opened this pull request about 1 month ago

[Verif] LowerContractsPass

leonardt opened this pull request about 1 month ago

[FIRRTL] LowerTypes: Manually compact newArgs vector

rwy7 opened this pull request about 1 month ago

[FIRRTL] FoldRegMems: insert new ops into same block as memory

rwy7 opened this pull request about 1 month ago

[Verif] Make verif.formal parameters an ODS property

fabianschuiki opened this pull request about 1 month ago

[HWToBTOR2] Error on variadic ops (for now)

TaoBi22 opened this pull request about 1 month ago

[SMT] Add push/pop operations

TaoBi22 opened this pull request about 1 month ago

[NFCI][HWToBTOR2] Avoid running HWToBTOR2 pass in parallel

fzi-hielscher opened this pull request about 2 months ago

[HWToBTOR2] Builds are Flaky

seldridge opened this issue about 2 months ago

[SCFToCalyx] `buildLibraryBinaryPipeOp` source operation result replacement

jiahanxie353 opened this pull request about 2 months ago

[SCFToCalyx] `buildLibraryBinaryPipeOp` should replace `TSrcOp`'s result with output with the register output

jiahanxie353 opened this issue about 2 months ago

[Calyx] Lower Arith CmpFOp to Calyx

jiahanxie353 opened this pull request about 2 months ago

[NFC] Output unused test results to `/dev/null`

fzi-hielscher opened this pull request about 2 months ago

[HandshakeToDC] Getting some working tests

teqdruid opened this pull request about 2 months ago

[circt-test] Add runner for circt-bmc

fabianschuiki opened this pull request about 2 months ago

[RTG] Add TestOp, TargetOp, and DictType

maerhart opened this pull request about 2 months ago

[RTG] Add op and type visitors

maerhart opened this pull request about 2 months ago

[HWToBTOR2] Avoid duplicating initial consts

TaoBi22 opened this pull request about 2 months ago

[HWToBTOR2] Use APInt value directly in constant generation

TaoBi22 opened this pull request about 2 months ago

[HWToBTOR2] Swap to temp file placeholder

TaoBi22 opened this pull request about 2 months ago

[HandshakeToDC] Tech debt: clk/rst inserted later than they probably should be

teqdruid opened this issue about 2 months ago

[HandshakeToHW] Asserts with core dialects operations

teqdruid opened this issue about 2 months ago

[PyCDE][Handshake] Add bindings for Handshake functions

teqdruid opened this pull request about 2 months ago

[RTG] Add set type and operations

maerhart opened this pull request about 2 months ago

Bump LLVM to 3cc852ece438a63e7b09d1c84a81d21598454e1a.

mikeurbach opened this pull request about 2 months ago

[Handshake][Python] Add Python bindings for Handshake

teqdruid opened this pull request about 2 months ago

[HWToBTOR2][NFC] update 'PowerOn' in error message and comments

TaoBi22 opened this pull request about 2 months ago

[HWToBTOR2] Fix crashes on initial value corner cases

TaoBi22 opened this pull request about 2 months ago

[ExternalizeRegisters][NFC] Clean up initial value fetching

TaoBi22 opened this pull request about 2 months ago

[HWToBTOR2] Fix slice lowering argument meanings

TaoBi22 opened this pull request about 2 months ago

[RTGTest] Add RTGTest dialect

maerhart opened this pull request about 2 months ago

[RTG] Add context resource interfaces

maerhart opened this pull request about 2 months ago

[RTG] Add `sequence_closure` and `invoke_sequence` operations

maerhart opened this pull request about 2 months ago

[SeqToSV] Do not use `always_ff` for compreg with initializer

fzi-hielscher opened this pull request about 2 months ago

[firtool] Run LowerFormalToHW pass when emitting SV

fabianschuiki opened this pull request about 2 months ago

[FIRRTL] Lower firrtl.formal to verif.formal

fabianschuiki opened this pull request about 2 months ago

[FIRRTL] ModulePrefixAnnotation not working properly on Vec size 1 typed smems

jackkoenig opened this issue about 2 months ago

[FIRRTL] smem with read address from port does not work

jackkoenig opened this issue about 2 months ago

[RTG] Add Random Test Generation dialect

maerhart opened this pull request about 2 months ago

[Ibis] Rename to 'Kanagawa'

teqdruid opened this pull request about 2 months ago

[FIRRTL] LowerTypes: Manually compact newArgs vector

rwy7 opened this pull request about 2 months ago

[Calyx] Lower SCF parallel op to Calyx

jiahanxie353 opened this pull request about 2 months ago

[ImportVerilog]: Create variables for function arguments

Max-astro opened this pull request about 2 months ago

[HandshakeToDC] Missing lowering for InstanceOp

teqdruid opened this issue about 2 months ago

[FIRRTL] Update, fix parser versions

seldridge opened this pull request about 2 months ago

[HandshakeToDC] Missing cf conversions and memory stuff

teqdruid opened this issue about 2 months ago

[HandshakeToDC] Add clock and reset ports

teqdruid opened this pull request about 2 months ago

[FIRRTL] LowerClasses: drop the IR mapping

rwy7 opened this pull request about 2 months ago

[FIRRTL] Refactor class lowering to avoid unnecessary cloning

mikeurbach opened this pull request about 2 months ago

[LowerClasses] Stop cloning operations one at a time, NFCI.

mikeurbach opened this pull request about 2 months ago

[Calyx] Floating Point Comparisons

jiahanxie353 opened this issue about 2 months ago

[FIRRTL] Dedup: hash modules back->front

rwy7 opened this pull request about 2 months ago

[hlstool] Add option to use the DC lowering flow

teqdruid opened this pull request about 2 months ago

[HandshakeToDC] No clk or rst inserted during lowering

teqdruid opened this issue about 2 months ago