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

Rewrite Threading Backend #1266

Job	Run time
sbt test on mac	2m 43s
sbt test on ubuntu (2.13.10, 8)	1m 54s
icarus verilog (ubuntu-20.04)	3m 30s
sbt test on ubuntu (2.13.10, 11)	2m 12s
Integration Tests (2.13.10, 8)	1m 55s
icarus verilog (macos-latest)	3m 44s
Documentation and Formatting	3m 14s
Integration Tests (2.13.10, 11)	2m 1s
Integration Tests (2.13.10, 20)	2m 30s
formal verification tests (z3)	2m 39s
formal verification tests on mac	2m 55s
formal verification tests (cvc4)	2m 23s
No Warnings with Scala 2.13 for PRs	2m 0s
verilator regressions (4.028)	6m 24s
formal verification tests (btormc)	2m 16s
verilator regressions (4.032)	6m 4s
sbt test for treadle on ubuntu (2.13.10, 8)	1m 52s
formal verification tests (bitwuzla)	2m 17s
verilator regressions (4.034)	6m 20s
sbt test for treadle on ubuntu (2.13.10, 11)	2m 42s
verilator regressions (4.038)	6m 21s
verilator regressions (4.108)	6m 21s
verilator regressions (4.200)	6m 23s
verilator regressions (4.202)	6m 20s
all tests passed	0s
publish	0s
	1h 27m 0s

Provide feedback