Skip to content
This repository has been archived by the owner on Aug 19, 2024. It is now read-only.

Actions: ucb-bar/chiseltest

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add k-induction for SmtModelCheckers Continuous Integration #1362: Pull request #713 synchronize by Gallagator
February 25, 2024 15:12 6h 0m 23s Gallagator:smtlib_KInd
Gallagator:smtlib_KInd
February 25, 2024 15:12 6h 0m 23s
Update sbt to 1.9.9 Continuous Integration #1361: Pull request #720 opened by scala-steward
February 24, 2024 02:15 6h 0m 24s scala-steward:update/sbt-1.9.9
scala-steward:update/sbt-1.9.9
February 24, 2024 02:15 6h 0m 24s
Update chisel, chisel-plugin to 6.1.0 Continuous Integration #1360: Pull request #719 opened by scala-steward
February 24, 2024 02:15 11m 25s scala-steward:update/chisel-6.1.0
scala-steward:update/chisel-6.1.0
February 24, 2024 02:15 11m 25s
Add k-induction for SmtModelCheckers Continuous Integration #1359: Pull request #713 synchronize by Gallagator
February 20, 2024 20:08 6h 0m 28s Gallagator:smtlib_KInd
Gallagator:smtlib_KInd
February 20, 2024 20:08 6h 0m 28s
Update scalatest to 3.2.18 Continuous Integration #1358: Pull request #715 opened by scala-steward
February 20, 2024 11:28 6h 0m 27s scala-steward:update/scalatest-3.2.18
scala-steward:update/scalatest-3.2.18
February 20, 2024 11:28 6h 0m 27s
Update sbt to 1.9.8 Continuous Integration #1357: Pull request #714 opened by scala-steward
February 20, 2024 11:28 6h 0m 27s scala-steward:update/sbt-1.9.8
scala-steward:update/sbt-1.9.8
February 20, 2024 11:28 6h 0m 27s
Add k-induction for SmtModelCheckers Continuous Integration #1356: Pull request #713 opened by Gallagator
February 19, 2024 20:08 6h 0m 27s Gallagator:smtlib_KInd
Gallagator:smtlib_KInd
February 19, 2024 20:08 6h 0m 27s
[CI] Increase timeout for verilator tests Continuous Integration #1355: Pull request #711 opened by kammoh
February 9, 2024 17:46 6h 0m 28s kammoh:patch-2
kammoh:patch-2
February 9, 2024 17:46 6h 0m 28s
[CI] add verilator 5.x tests (#709) Continuous Integration #1354: Commit 0783f27 pushed by ekiwi
February 7, 2024 17:44 6h 0m 30s main
main
February 7, 2024 17:44 6h 0m 30s
Revert version to 6.0-SNAPSHOT and trigger a snapshot release (#710) Continuous Integration #1353: Commit 6e194dc pushed by ekiwi
February 6, 2024 18:19 6m 57s main
main
February 6, 2024 18:19 6m 57s
Revert version to 6.0-SNAPSHOT and trigger a snapshot release Continuous Integration #1352: Pull request #710 opened by kammoh
February 5, 2024 21:32 5m 11s kammoh:patch-1
kammoh:patch-1
February 5, 2024 21:32 5m 11s
[CI] add verilator 5.x tests Continuous Integration #1351: Pull request #709 opened by kammoh
February 5, 2024 18:42 19m 52s kammoh:verilator5_ci
kammoh:verilator5_ci
February 5, 2024 18:42 19m 52s
Bump to chisel 6 release (#705) Continuous Integration #1350: Commit c9917be pushed by ekiwi
February 5, 2024 18:39 17m 27s main
main
February 5, 2024 18:39 17m 27s
Bump to chisel 6 release Continuous Integration #1349: Pull request #705 synchronize by kammoh
February 5, 2024 18:31 5m 40s kammoh:chisel6_release
kammoh:chisel6_release
February 5, 2024 18:31 5m 40s
Bump to chisel 6 release Continuous Integration #1348: Pull request #705 synchronize by kammoh
February 5, 2024 03:33 6h 0m 27s kammoh:chisel6_release
kammoh:chisel6_release
February 5, 2024 03:33 6h 0m 27s
Reintroduce FixedPoint support Continuous Integration #1347: Pull request #706 synchronize by mvanbeirendonck
January 31, 2024 16:38 15m 49s mvanbeirendonck:5.x
mvanbeirendonck:5.x
January 31, 2024 16:38 15m 49s
Bump to chisel 6 release Continuous Integration #1346: Pull request #705 synchronize by kammoh
January 31, 2024 16:36 6h 0m 26s kammoh:chisel6_release
kammoh:chisel6_release
January 31, 2024 16:36 6h 0m 26s
Reintroduce FixedPoint support Continuous Integration #1345: Pull request #706 synchronize by mvanbeirendonck
January 31, 2024 16:34 15m 29s mvanbeirendonck:5.x
mvanbeirendonck:5.x
January 31, 2024 16:34 15m 29s
Bump to chisel 6 release Continuous Integration #1344: Pull request #705 synchronize by kammoh
January 31, 2024 16:29 4m 41s kammoh:chisel6_release
kammoh:chisel6_release
January 31, 2024 16:29 4m 41s
Reintroduce FixedPoint support Continuous Integration #1343: Pull request #706 opened by mvanbeirendonck
January 31, 2024 16:23 10m 3s mvanbeirendonck:5.x
mvanbeirendonck:5.x
January 31, 2024 16:23 10m 3s
Bump to chisel 6 release Continuous Integration #1342: Pull request #705 synchronize by kammoh
January 31, 2024 16:08 12m 36s kammoh:chisel6_release
kammoh:chisel6_release
January 31, 2024 16:08 12m 36s
Bump to chisel 6 release Continuous Integration #1341: Pull request #705 opened by kammoh
January 31, 2024 03:05 13m 46s kammoh:chisel6_release
kammoh:chisel6_release
January 31, 2024 03:05 13m 46s
Add pono backend to chisel formal for bmc Continuous Integration #1340: Pull request #702 synchronize by Gallagator
January 21, 2024 17:06 5m 23s Gallagator:pono_support
Gallagator:pono_support
January 21, 2024 17:06 5m 23s
Update chisel, chisel-plugin to 6.0.0 Continuous Integration #1339: Pull request #704 opened by scala-steward
January 18, 2024 21:36 9m 42s scala-steward:update/chisel-6.0.0
scala-steward:update/chisel-6.0.0
January 18, 2024 21:36 9m 42s
Add pono backend to chisel formal for bmc Continuous Integration #1338: Pull request #702 synchronize by Gallagator
January 16, 2024 19:38 5m 44s Gallagator:pono_support
Gallagator:pono_support
January 16, 2024 19:38 5m 44s