Skip to content

Actions: llvm/circt

Build and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6,472 workflow runs
6,472 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Verif] Add simulation op
Build and Test #29249: Pull request #8224 synchronize by fabianschuiki
February 13, 2025 18:18 In progress fschuiki/verif-simulation
February 13, 2025 18:18 In progress
[verif.contract] add sby integration test
Build and Test #29248: Pull request #8237 opened by leonardt
February 13, 2025 18:00 In progress contracts-adder
February 13, 2025 18:00 In progress
[PyRTG] Support bags
Build and Test #29247: Pull request #8236 opened by maerhart
February 13, 2025 15:28 15m 4s maerhart-pyrtg-bags
February 13, 2025 15:28 15m 4s
[PyRTG] Support integers
Build and Test #29246: Pull request #8235 opened by maerhart
February 13, 2025 10:22 14m 18s maerhart-pyrtg-integers
February 13, 2025 10:22 14m 18s
[circt-verilog-lsp-server] Add Verilog Language Server
Build and Test #29245: Pull request #8234 synchronize by uenoku
February 13, 2025 02:25 15m 9s uenoku:dev/hidetou/lsp
February 13, 2025 02:25 15m 9s
[circt-verilog-lsp-server] Add Verilog Language Server
Build and Test #29244: Pull request #8234 synchronize by uenoku
February 13, 2025 02:13 10m 24s uenoku:dev/hidetou/lsp
February 13, 2025 02:13 10m 24s
[circt-verilog-lsp-server] Add Verilog Language Server
Build and Test #29243: Pull request #8234 synchronize by uenoku
February 13, 2025 01:54 10m 31s uenoku:dev/hidetou/lsp
February 13, 2025 01:54 10m 31s
[circt-verilog-lsp-server] Add Verilog Language Server
Build and Test #29242: Pull request #8234 synchronize by uenoku
February 13, 2025 01:52 1m 0s uenoku:dev/hidetou/lsp
February 13, 2025 01:52 1m 0s
[circt-verilog-lsp-server] Add Verilog Language Server
Build and Test #29241: Pull request #8234 synchronize by uenoku
February 13, 2025 01:42 11m 18s uenoku:dev/hidetou/lsp
February 13, 2025 01:42 11m 18s
[circt-verilog-lsp-server] Add Verilog Language Server
Build and Test #29240: Pull request #8234 synchronize by uenoku
February 13, 2025 01:33 40s uenoku:dev/hidetou/lsp
February 13, 2025 01:33 40s
[circt-verilog-lsp-server] Add Verilog Language Server
Build and Test #29239: Pull request #8234 synchronize by uenoku
February 13, 2025 00:07 12m 42s uenoku:dev/hidetou/lsp
February 13, 2025 00:07 12m 42s
[circt-verilog-lsp-server] Add Verilog Language Server
Build and Test #29238: Pull request #8234 opened by uenoku
February 13, 2025 00:05 44s uenoku:dev/hidetou/lsp
February 13, 2025 00:05 44s
[Arcilator] Allow running verif.simulation ops
Build and Test #29237: Pull request #8233 synchronize by fabianschuiki
February 12, 2025 20:48 34m 7s fschuiki/arcilator-verif-simulation
February 12, 2025 20:48 34m 7s
[Verif] Add simulation op
Build and Test #29235: Pull request #8224 synchronize by fabianschuiki
February 12, 2025 17:40 14m 5s fschuiki/verif-simulation
February 12, 2025 17:40 14m 5s
Bump LLVM to 289b17635958d986b74683c932df6b1d12f37b70.
Build and Test #29234: Pull request #8225 synchronize by mikeurbach
February 12, 2025 17:27 14m 9s mikeurbach/bump-llvm
February 12, 2025 17:27 14m 9s
[LLHD][TCM] Fix CFG loops detection
Build and Test #29233: Pull request #8230 opened by AndreyVV-100
February 12, 2025 15:58 14m 57s AndreyVV-100:fix-cfg-loop-check
February 12, 2025 15:58 14m 57s
[PyRTG] Support sets
Build and Test #29232: Pull request #8229 opened by maerhart
February 12, 2025 12:57 15m 18s maerhart-pyrtg-sets
February 12, 2025 12:57 15m 18s
[PyRTG] Wrapper around SSA values and label support
Build and Test #29231: Pull request #8228 opened by maerhart
February 12, 2025 10:50 14m 39s maerhart-pyrtg-labels
February 12, 2025 10:50 14m 39s
[RTG][CAPI] Expose getter for bag and set element type
Build and Test #29230: Pull request #8227 opened by maerhart
February 12, 2025 09:57 15m 24s maerhart-rtg-getelementtype-api
February 12, 2025 09:57 15m 24s
Bump LLVM to 289b17635958d986b74683c932df6b1d12f37b70.
Build and Test #29229: Pull request #8225 opened by mikeurbach
February 12, 2025 06:33 48m 32s mikeurbach/bump-llvm
February 12, 2025 06:33 48m 32s
[Verif] Add simulation op
Build and Test #29228: Pull request #8224 opened by fabianschuiki
February 11, 2025 22:02 15m 44s fschuiki/verif-simulation
February 11, 2025 22:02 15m 44s
[LLHD] Add canonicalizer for ProcessOp (#8221)
Build and Test #29227: Commit 572f53f pushed by maerhart
February 11, 2025 20:53 15m 6s main
February 11, 2025 20:53 15m 6s
[Moore] Mark wait_event with side-effect even if it is empty (#8220)
Build and Test #29226: Commit a819e07 pushed by maerhart
February 11, 2025 20:52 14m 51s main
February 11, 2025 20:52 14m 51s