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

Rewrite Threading Backend #1274

Job	Run time
icarus verilog (ubuntu-20.04)	2m 48s
Documentation and Formatting	1m 38s
icarus verilog (macos-latest)	3m 52s
formal verification tests (z3)	2m 17s
formal verification tests on mac	3m 9s
formal verification tests (cvc4)	2m 27s
Integration Tests (2.13.10, 8)	2m 37s
formal verification tests (btormc)	2m 18s
sbt test on ubuntu (2.13.10, 8)	1m 54s
No Warnings with Scala 2.13 for PRs	2m 7s
Integration Tests (2.13.10, 11)	2m 43s
sbt test on ubuntu (2.13.10, 11)	2m 10s
formal verification tests (bitwuzla)	2m 15s
Integration Tests (2.13.10, 20)	2m 6s
sbt test on mac	2m 47s
sbt test for treadle on ubuntu (2.13.10, 8)	2m 0s
verilator regressions (4.028)	8m 40s
sbt test for treadle on ubuntu (2.13.10, 11)	1m 57s
verilator regressions (4.032)	6m 32s
verilator regressions (4.034)	7m 49s
verilator regressions (4.038)	6m 5s
verilator regressions (4.108)	9m 13s
verilator regressions (4.200)	8m 19s
verilator regressions (4.202)	7m 17s
all tests passed	0s
publish	0s
	1h 35m 0s

Provide feedback