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

Rewrite Threading Backend #1287

Job	Run time
formal verification tests (z3)	2m 51s
Documentation and Formatting	1m 35s
formal verification tests on mac	3m 17s
formal verification tests (cvc4)	2m 43s
formal verification tests (btormc)	2m 35s
icarus verilog (ubuntu-20.04)	3m 19s
Integration Tests (2.13.10, 8)	2m 56s
formal verification tests (bitwuzla)	2m 39s
icarus verilog (macos-latest)	3m 47s
No Warnings with Scala 2.13 for PRs	3m 0s
Integration Tests (2.13.10, 11)	2m 8s
Integration Tests (2.13.10, 20)	2m 29s
sbt test on mac	2m 26s
sbt test for treadle on ubuntu (2.13.10, 8)	2m 41s
sbt test on ubuntu (2.13.10, 8)	2m 8s
sbt test for treadle on ubuntu (2.13.10, 11)	2m 17s
sbt test on ubuntu (2.13.10, 11)	2m 27s
verilator regressions (4.028)	6m 26s
verilator regressions (4.032)	7m 55s
verilator regressions (4.034)	8m 17s
verilator regressions (4.038)	8m 38s
verilator regressions (4.108)	8m 22s
verilator regressions (4.200)	7m 1s
verilator regressions (4.202)	8m 41s
all tests passed	0s
publish	0s
	1h 40m 38s

Provide feedback