Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
github.com/llvm/circt
Circuit IR Compilers and Tools
https://github.com/llvm/circt
[FIRRTL] InferWidths: fix invalid frame reference
youngar opened this pull request 6 days ago
youngar opened this pull request 6 days ago
Remove redundant CMakeLists.txt entry
leonardt opened this pull request 7 days ago
leonardt opened this pull request 7 days ago
[Do not merge][ESI][PyCDE] All necessary changes to support internal BSP
teqdruid opened this pull request 8 days ago
teqdruid opened this pull request 8 days ago
[MooreToCore] Add support for format strings and display task
fabianschuiki opened this pull request 8 days ago
fabianschuiki opened this pull request 8 days ago
[Sim][NFC] Include InferTypeOpInterface in SimOps.td
fabianschuiki opened this pull request 8 days ago
fabianschuiki opened this pull request 8 days ago
[Sim] Combine integer formatting ops into one op
fabianschuiki opened this issue 8 days ago
fabianschuiki opened this issue 8 days ago
[Verif] Simplify the FormalOp
fabianschuiki opened this pull request 8 days ago
fabianschuiki opened this pull request 8 days ago
[FIRRTL] Ensure LowerClasses respects alt base path for local paths.
mikeurbach opened this pull request 9 days ago
mikeurbach opened this pull request 9 days ago
[FIRRTL] InferWidths: error can point at operation not involved in constraint
youngar opened this issue 9 days ago
youngar opened this issue 9 days ago
[FIRRTL] Print port names attributes if a port has an empty name
rwy7 opened this pull request 9 days ago
rwy7 opened this pull request 9 days ago
[SCFToCalyx] If op with sequential condition
jiahanxie353 opened this pull request 9 days ago
jiahanxie353 opened this pull request 9 days ago
[FIRRTL] collection of changes to InferWidths
youngar opened this pull request 9 days ago
youngar opened this pull request 9 days ago
Add unit test discovery and execution tool
fabianschuiki opened this pull request 10 days ago
fabianschuiki opened this pull request 10 days ago
[JSON] Leave json::OStream in valid state on failure
fabianschuiki opened this pull request 10 days ago
fabianschuiki opened this pull request 10 days ago
[OM] Update FreezePaths to handle object fields with paths.
mikeurbach opened this pull request 10 days ago
mikeurbach opened this pull request 10 days ago
[Calyx] IfOp's group has to be a CombGroupOp?
jiahanxie353 opened this issue 10 days ago
jiahanxie353 opened this issue 10 days ago
[MooreToCore] Support assert, assume, cover ops
mingzheTerapines opened this pull request 10 days ago
mingzheTerapines opened this pull request 10 days ago
[FIRRTL] InferResets: properly lower FART'd registers
youngar opened this pull request 11 days ago
youngar opened this pull request 11 days ago
[FIRRTL] FSRT: not finding all no-reset registers
youngar opened this issue 11 days ago
youngar opened this issue 11 days ago
[FIRRTL] FRT: treats different encodings of register resets differently
youngar opened this issue 11 days ago
youngar opened this issue 11 days ago
[FIRRTL] SFCCompat: can select different values for a single invalid value
youngar opened this issue 11 days ago
youngar opened this issue 11 days ago
[RFC][Sim] Add triggered simulation procedures
fzi-hielscher opened this pull request 11 days ago
fzi-hielscher opened this pull request 11 days ago
[FIRRTL] InferResets FullReset (formerly FART) does not add resets to not reset fields of partially reset registers
jackkoenig opened this issue 11 days ago
jackkoenig opened this issue 11 days ago
[FIRRTL] FART: Does not process modules not reachable from the main module
youngar opened this issue 11 days ago
youngar opened this issue 11 days ago
change github src for slang
astrophysik opened this pull request 11 days ago
astrophysik opened this pull request 11 days ago
[LLHD][HW] Implement SROA interfaces
maerhart opened this pull request 11 days ago
maerhart opened this pull request 11 days ago
[SCFToCalyx] Memory banking for Calyx
jiahanxie353 opened this pull request 12 days ago
jiahanxie353 opened this pull request 12 days ago
SCF IndexSwitch to nested If-Else
jiahanxie353 opened this pull request 12 days ago
jiahanxie353 opened this pull request 12 days ago
[SCFToCalyx] Build control for nested if operation
jiahanxie353 opened this pull request 12 days ago
jiahanxie353 opened this pull request 12 days ago
[FIRRTL][CAPI] Add documentation
SpriteOvO opened this pull request 13 days ago
SpriteOvO opened this pull request 13 days ago
[ExtractInstances] Add the extract instances metadata to OM Classes
prithayan opened this pull request 14 days ago
prithayan opened this pull request 14 days ago
[HWToSMT] ArrayCreateOp and ArrayGetOp support
maerhart opened this pull request 14 days ago
maerhart opened this pull request 14 days ago
[LLHD][ProcessLowering] Incorrectly inlines aliasing drives
maerhart opened this issue 14 days ago
maerhart opened this issue 14 days ago
[HWToSMT] Support hw.array_create and hw.array_get
uenoku opened this issue 14 days ago
uenoku opened this issue 14 days ago
[Not-for-commit] Demonstrate Yosys integration
uenoku opened this pull request 14 days ago
uenoku opened this pull request 14 days ago
[Verif] Lowering from `verif.formal` to `verif.bmc`
dobios opened this issue 15 days ago
dobios opened this issue 15 days ago
[FIRRTL] FIRRTL needs a contract interface
dobios opened this issue 15 days ago
dobios opened this issue 15 days ago
[FIRRTL] Add integer shift left conversion to LowerClasses
maerhart opened this pull request 15 days ago
maerhart opened this pull request 15 days ago
[FIRRTL] Add integer shift left parser support
maerhart opened this pull request 15 days ago
maerhart opened this pull request 15 days ago
[OM] Add integer shift left op
maerhart opened this pull request 15 days ago
maerhart opened this pull request 15 days ago
[FIRRTL] Add integer shift left property op
maerhart opened this pull request 15 days ago
maerhart opened this pull request 15 days ago
[Seq][Arc] Allow seq.initial to take immutable operands. Add a cast operation
uenoku opened this pull request 15 days ago
uenoku opened this pull request 15 days ago
[arcilator] Register Verif dialect
owlxiao opened this pull request 15 days ago
owlxiao opened this pull request 15 days ago
[Transforms][OpCountAnalysis] Add PrintOpCountPass
TaoBi22 opened this pull request 16 days ago
TaoBi22 opened this pull request 16 days ago
[Arc] Fix folding of initialized StateOp
fzi-hielscher opened this pull request 16 days ago
fzi-hielscher opened this pull request 16 days ago
[MooreToCore] Lower moore.net to llhd.sig
fabianschuiki opened this pull request 17 days ago
fabianschuiki opened this pull request 17 days ago
[FIRRTL] Re-implement old EmitOMIR ports logic in LowerClasses.
mikeurbach opened this pull request 18 days ago
mikeurbach opened this pull request 18 days ago
[HW] Automatic HW module partition
SpriteOvO opened this pull request 18 days ago
SpriteOvO opened this pull request 18 days ago
[FIRRTL] Layers and Analog
dtzSiFive opened this issue 18 days ago
dtzSiFive opened this issue 18 days ago
[MooreToCore] Support format strings
fabianschuiki opened this issue 20 days ago
fabianschuiki opened this issue 20 days ago
[ImportVerilog] Insert missing conversions around instance ports
fabianschuiki opened this pull request 21 days ago
fabianschuiki opened this pull request 21 days ago
[ImportVerilog] Support assignment patterns with integer type
fabianschuiki opened this pull request 21 days ago
fabianschuiki opened this pull request 21 days ago
[ImportVerilog] Add support for $clog2
fabianschuiki opened this pull request 21 days ago
fabianschuiki opened this pull request 21 days ago
[Analysis] Add OpCount Analysis
TaoBi22 opened this pull request 21 days ago
TaoBi22 opened this pull request 21 days ago
[FIRRTL] Avoid InstanceGraphNode* in InstanceInfo
seldridge opened this pull request 21 days ago
seldridge opened this pull request 21 days ago
[ImportVerilog] Add $display/$write/$info/$warning/$error/$fatal
fabianschuiki opened this pull request 21 days ago
fabianschuiki opened this pull request 21 days ago
Bump LLVM to 556ec4a7261447d13703816cd3730a891441e52c.
mikeurbach opened this pull request 22 days ago
mikeurbach opened this pull request 22 days ago
[FIRRTL][LowerLayers] Remove handling of some ref ops
rwy7 opened this pull request 22 days ago
rwy7 opened this pull request 22 days ago
[firtool] Move LowerLayers later in pipeline.
dtzSiFive opened this pull request 22 days ago
dtzSiFive opened this pull request 22 days ago
[Seq] Add cast operation to immutable type
uenoku opened this pull request 22 days ago
uenoku opened this pull request 22 days ago
[Seq] Move SeqToSV tests from `test/Dialect/Seq` to `test/Conversion/SeqToSV`
uenoku opened this issue 22 days ago
uenoku opened this issue 22 days ago
[SV] [FIRRTL] Add intrinsics for sampled value functions
unlsycn opened this issue 22 days ago
unlsycn opened this issue 22 days ago
[FIRRTL] Convert CheckLayers to use InstanceInfo
seldridge opened this pull request 23 days ago
seldridge opened this pull request 23 days ago
[ImportVerilog] Add support for $stop/$finish/$exit
fabianschuiki opened this pull request 23 days ago
fabianschuiki opened this pull request 23 days ago
[FIRRTL] Add verifier of single MarkDUTAnnotation
seldridge opened this pull request 23 days ago
seldridge opened this pull request 23 days ago
[ImportVerilog] Add support for elaboration system tasks
fabianschuiki opened this pull request 23 days ago
fabianschuiki opened this pull request 23 days ago
[MooreToCore] Return early on non-convertable type
maerhart opened this pull request 23 days ago
maerhart opened this pull request 23 days ago
[MooreToCore] Support assert, assume, cover ops
fabianschuiki opened this issue 24 days ago
fabianschuiki opened this issue 24 days ago
[MooreToCore] Support net op
fabianschuiki opened this issue 24 days ago
fabianschuiki opened this issue 24 days ago
[MooreToCore] Support string constants
fabianschuiki opened this issue 24 days ago
fabianschuiki opened this issue 24 days ago
[MooreToCore] Unpacked array causes crash
fabianschuiki opened this issue 24 days ago
fabianschuiki opened this issue 24 days ago
[MooreToCore] Support pow op
fabianschuiki opened this issue 24 days ago
fabianschuiki opened this issue 24 days ago
[MooreToCore] Alternative conditional lowering and type conversion fixes
maerhart opened this pull request 24 days ago
maerhart opened this pull request 24 days ago
[Moore] Drop named_constant op in favor of dbg.variable
fabianschuiki opened this pull request 24 days ago
fabianschuiki opened this pull request 24 days ago
[LLHD] Add Sig2Reg pass for graph regions
maerhart opened this pull request 24 days ago
maerhart opened this pull request 24 days ago
[FIRRTL] Error mixed DUT mems in AddSeqMemPorts
seldridge opened this pull request 24 days ago
seldridge opened this pull request 24 days ago
[circt-bmc] Add `circt-bmc` tool
TaoBi22 opened this pull request 24 days ago
TaoBi22 opened this pull request 24 days ago
[FIRRTL] AddSeqMemPorts of Memories Instantiated Under and Above DUT
seldridge opened this issue 24 days ago
seldridge opened this issue 24 days ago
[DC] Adding `dc-print-dot` pass
luisacicolini opened this pull request 24 days ago
luisacicolini opened this pull request 24 days ago
[FIRRTL] Add features, cleanup InstanceInfo (again)
seldridge opened this pull request 25 days ago
seldridge opened this pull request 25 days ago
[LLHD] Make process lowering best-effort and allow constants from outside the region
maerhart opened this pull request 25 days ago
maerhart opened this pull request 25 days ago
[LLHD] Add DesequentializationPass
maerhart opened this pull request 25 days ago
maerhart opened this pull request 25 days ago
[LLHD][TCM] Simplify region directly
maerhart opened this pull request 25 days ago
maerhart opened this pull request 25 days ago
[MooreToCore] Fix the stack error caused by the uarray reftype.
hailongSun2000 opened this pull request 28 days ago
hailongSun2000 opened this pull request 28 days ago
[FIRRTL] Allow local targets to be multiply-instantiated.
mikeurbach opened this pull request 29 days ago
mikeurbach opened this pull request 29 days ago
[FIRRTL] Add InstanceInfo Analysis
seldridge opened this pull request 29 days ago
seldridge opened this pull request 29 days ago
[FIRRTL] InferResets FullReset (formerly FART) errors due to "different" reset domains when the reset value is identical
jackkoenig opened this issue 29 days ago
jackkoenig opened this issue 29 days ago
[CMake] Consistently declare conversion libraries and simplify circt-opt link target list
maerhart opened this pull request 29 days ago
maerhart opened this pull request 29 days ago
LLVM Bump
maerhart opened this pull request 29 days ago
maerhart opened this pull request 29 days ago
[FIRRTL][IMDCE] missed optimization to delete dead instance
youngar opened this issue 30 days ago
youngar opened this issue 30 days ago
[SV] Add MacroRefOp to represet macro statement
uenoku opened this pull request about 1 month ago
uenoku opened this pull request about 1 month ago
[Seq] Add a pass to implement firreg randomization
uenoku opened this pull request about 1 month ago
uenoku opened this pull request about 1 month ago
[Arc] Fully support initialization through seq.initial
uenoku opened this pull request about 1 month ago
uenoku opened this pull request about 1 month ago
Fix links
ju-sh opened this pull request about 1 month ago
ju-sh opened this pull request about 1 month ago
Add `verif.bmc` VerifToSMT lowering
TaoBi22 opened this pull request about 1 month ago
TaoBi22 opened this pull request about 1 month ago
[Moore] The system function like $urandom, $urandom_range, etc.
hailongSun2000 opened this issue about 1 month ago
hailongSun2000 opened this issue about 1 month ago
[FIRRTL] Does 'regreset' in CHIRRTL have the corresponding calss in firrtl.ir?
zhangkanqi opened this issue about 1 month ago
zhangkanqi opened this issue about 1 month ago
[Moore] Support the display system task.
hailongSun2000 opened this pull request about 1 month ago
hailongSun2000 opened this pull request about 1 month ago
[FIRRTL] Use walk, InstanceInfo in AddSeqMemPorts
seldridge opened this pull request about 1 month ago
seldridge opened this pull request about 1 month ago
[FIRRTL] Make IMCP work with Layers
seldridge opened this pull request about 1 month ago
seldridge opened this pull request about 1 month ago