Skip to content

Pull requests: llvm/circt

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

[Verif] LowerContractsPass
#7870 opened Nov 21, 2024 by leonardt Loading…
[FIRRTL] LowerTypes: Manually compact newArgs vector
#7869 opened Nov 21, 2024 by rwy7 Loading…
[HWToBTOR2] Error on variadic ops (for now)
#7866 opened Nov 21, 2024 by TaoBi22 Loading…
[SMT] Add push/pop operations
#7865 opened Nov 21, 2024 by TaoBi22 Loading…
[RTG] Add TestOp, TargetOp, and DictType RTG Involving the `rtg` dialect
#7856 opened Nov 20, 2024 by maerhart Loading…
[PyCDE][Handshake] Add bindings for Handshake functions Handshake PyCDE Python CIRCT Design Entry API
#7849 opened Nov 19, 2024 by teqdruid Draft
[firtool] Run LowerFormalToHW pass when emitting SV FIRRTL Involving the `firrtl` dialect verif
#7837 opened Nov 19, 2024 by fabianschuiki Loading…
[Ibis] Rename to 'Kanagawa' Kanagawa
#7832 opened Nov 18, 2024 by teqdruid Loading…
[ImportVerilog] Bump slang
#7792 opened Nov 10, 2024 by hovind Draft
3 tasks
[FIRRTL] infer more return types in asm format FIRRTL Involving the `firrtl` dialect
#7781 opened Nov 7, 2024 by youngar Draft
Use getDiscardableAttr to access discardable attributes
#7761 opened Nov 1, 2024 by rwy7 Loading…
[SCFToCalyx] If op with sequential condition Calyx The Calyx dialect
#7687 opened Oct 9, 2024 by jiahanxie353 Loading…
SCF IndexSwitch to nested If-Else
#7670 opened Oct 6, 2024 by jiahanxie353 Loading…
[FIRRTL][CAPI] Add documentation
#7668 opened Oct 5, 2024 by SpriteOvO Loading…
[HWToSMT] ArrayCreateOp and ArrayGetOp support
#7666 opened Oct 4, 2024 by maerhart Loading…
ProTip! Exclude everything labeled bug with -label:bug.