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

[circt-bmc][VerifToSMT] Add initial value support
#7903 opened Nov 26, 2024 by TaoBi22 Loading…
[RTG] Add RegisterOpInterface RTG Involving the `rtg` dialect
#7902 opened Nov 26, 2024 by maerhart Loading…
[RTG][Elaboration] Elaboration support for Bags RTG Involving the `rtg` dialect
#7892 opened Nov 25, 2024 by maerhart Loading…
[RTG][Elaboration] Add support for arith constants RTG Involving the `rtg` dialect
#7890 opened Nov 25, 2024 by maerhart Loading…
[RTG] Add some additional debug printing RTG Involving the `rtg` dialect
#7889 opened Nov 25, 2024 by maerhart Loading…
[RTG] Add BagType CAPI and Python Bindings RTG Involving the `rtg` dialect
#7888 opened Nov 24, 2024 by maerhart Loading…
[RTG] Add BagType and operations RTG Involving the `rtg` dialect
#7887 opened Nov 24, 2024 by maerhart Loading…
[circt-test] fix SymbiYosys integration test
#7886 opened Nov 24, 2024 by unlsycn Loading…
[RTG][RTGTest] Add Python Bindings RTG Involving the `rtg` dialect
#7883 opened Nov 24, 2024 by maerhart Loading…
[RTG][RTGTest] Add CAPI and a basic lowering pipeline RTG Involving the `rtg` dialect
#7882 opened Nov 23, 2024 by maerhart Loading…
[RTG] Add ElaborationPass RTG Involving the `rtg` dialect
#7876 opened Nov 22, 2024 by maerhart Loading…
[Verif] LowerContractsPass
#7870 opened Nov 21, 2024 by leonardt Loading…
[Calyx] Lower Arith CmpFOp to Calyx
#7860 opened Nov 21, 2024 by jiahanxie353 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 Loading…
[ImportVerilog] Bump slang
#7792 opened Nov 10, 2024 by hovind Draft
1 of 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…
ProTip! Add no:assignee to see everything that’s not assigned.