Skip to content

Pull requests: llvm/circt

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

Pull requests list

[HW][LTL][SV] Unify EventControl
#7037 opened May 15, 2024 by maerhart Draft
[Arc] Add SplitFuncsPass Arc Involving the `arc` dialect
#7027 opened May 13, 2024 by TaoBi22 Loading…
[Verif] Add clocked Assert Assume Cover ops verif
#7022 opened May 10, 2024 by dobios Loading…
3 tasks done
[ExportVerilog] Support sv.func.* emission
#7015 opened May 9, 2024 by uenoku Loading…
[FIRRTL] Reject intrinsic modules >= 4.0.0
#7009 opened May 8, 2024 by dtzSiFive Loading…
[SV] Add DPI import op
#7005 opened May 8, 2024 by uenoku Loading…
[FSM]New builders for StateOp and TransitionOp.
#6991 opened May 6, 2024 by HahaLan97 Loading…
[LTL] Add repeat and until operators
#6989 opened May 5, 2024 by liuyic00 Loading…
[SMT] Added support for :pattern attribute
#6976 opened May 1, 2024 by luisacicolini Loading…
ProTip! Add no:assignee to see everything that’s not assigned.