Skip to content

Actions: llvm/circt

Build and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6,973 workflow runs
6,973 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[RTG] Add InstructionOpInterface
Build and Test #28385: Pull request #7979 opened by maerhart
December 12, 2024 21:08 14m 20s maerhart-rtg-instruction-interface
December 12, 2024 21:08 14m 20s
[FSM][NFC] Fix incorrect pass summary
Build and Test #28384: Commit 87af795 pushed by TaoBi22
December 12, 2024 20:15 14m 18s main
December 12, 2024 20:15 14m 18s
Bump LLVM to b0b546d44777eb1fa25995384876bd14a006a929.
Build and Test #28380: Pull request #7976 opened by mikeurbach
December 12, 2024 19:34 37m 14s mikeurbach/bump-llvm
December 12, 2024 19:34 37m 14s
Fix warnings about unused variables when assertions are disabled (NFC…
Build and Test #28379: Commit bac37a3 pushed by maerhart
December 12, 2024 18:30 14m 47s main
December 12, 2024 18:30 14m 47s
[circt-bmc] Add option to print solver output & assertions (#7974)
Build and Test #28378: Commit a82f832 pushed by TaoBi22
December 12, 2024 18:19 14m 0s main
December 12, 2024 18:19 14m 0s
[CombToAIG] Add a lowering for Add/Sub
Build and Test #28377: Pull request #7968 synchronize by uenoku
December 12, 2024 18:15 15m 26s dev/hidetou/comb-to-aig-add
December 12, 2024 18:15 15m 26s
[RTG][Elaboration] Support sequences
Build and Test #28374: Pull request #7969 synchronize by maerhart
December 12, 2024 16:45 15m 12s maerhart-rtg-elaboration-sequences
December 12, 2024 16:45 15m 12s
[RFC][Sim] Add triggered simulation procedures
Build and Test #28372: Pull request #7676 synchronize by fzi-hielscher
December 12, 2024 15:13 14m 22s fzi-hielscher:sim-triggered
December 12, 2024 15:13 14m 22s
[ImportVerilog] Add case inside
Build and Test #28370: Pull request #7928 synchronize by ankolesn
December 12, 2024 10:06 54s ankolesn:add-case-inside
December 12, 2024 10:06 54s
[ImportVerilog] Add case inside
Build and Test #28369: Pull request #7928 synchronize by ankolesn
December 12, 2024 10:04 Action required ankolesn:add-case-inside
December 12, 2024 10:04 Action required
Revert "[FIRRTL][CAPI] Add more functions for discriminating and quer…
Build and Test #28367: Commit d53c2d0 pushed by seldridge
December 11, 2024 16:06 14m 10s main
December 11, 2024 16:06 14m 10s
[RTG][Elaboration] Support sequences
Build and Test #28366: Pull request #7969 opened by maerhart
December 11, 2024 13:53 14m 33s maerhart-rtg-elaboration-sequences
December 11, 2024 13:53 14m 33s
[FIRRTL][CAPI] Add more functions for discriminating and querying type
Build and Test #28365: Commit 1462269 pushed by SpriteOvO
December 11, 2024 06:06 13m 43s main
December 11, 2024 06:06 13m 43s
[FIRRTL][CAPI] Add more functions for discriminating and querying type
Build and Test #28364: Pull request #7960 synchronize by SpriteOvO
December 11, 2024 05:17 13m 16s SpriteOvO:firrtl-more-c-api
December 11, 2024 05:17 13m 16s
[CombToAIG] Add a lowering for Add/Sub
Build and Test #28363: Pull request #7968 opened by uenoku
December 11, 2024 01:11 13m 24s dev/hidetou/comb-to-aig-add
December 11, 2024 01:11 13m 24s
[CombToAIG] Add a pattern for lowering varidaic operations
Build and Test #28362: Pull request #7967 synchronize by uenoku
December 11, 2024 01:05 14m 57s uenoku:dev/hidetou/variadic
December 11, 2024 01:05 14m 57s