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

[prototype] fsim interpreter #1314

Job	Run time
formal verification tests on mac	2m 33s
formal verification tests (z3)	2m 13s
Documentation and Formatting	1m 35s
formal verification tests (cvc4)	2m 28s
Benchmarks (2.13.10, 8)	1m 58s
formal verification tests (btormc)	2m 8s
icarus verilog (ubuntu-20.04)	3m 5s
Benchmarks (2.13.10, 11)	2m 7s
formal verification tests (bitwuzla)	2m 11s
Integration Tests (2.13.10, 8)	1m 59s
icarus verilog (macos-latest)	3m 58s
Benchmarks (2.13.10, 20)	2m 44s
Integration Tests (2.13.10, 11)	2m 2s
Integration Tests (2.13.10, 20)	2m 10s
No Warnings with Scala 2.13 for PRs	2m 38s
sbt test on ubuntu (2.13.10, 8)	2m 17s
sbt test on mac	2m 28s
sbt test on ubuntu (2.13.10, 11)	2m 13s
sbt test for treadle on ubuntu (2.13.10, 8)	1m 45s
verilator regressions (4.028)	6m 46s
sbt test for treadle on ubuntu (2.13.10, 11)	1m 45s
verilator regressions (4.032)	6m 36s
verilator regressions (4.034)	7m 30s
verilator regressions (4.038)	6m 31s
verilator regressions (4.108)	7m 28s
verilator regressions (4.200)	8m 29s
verilator regressions (4.202)	6m 59s
all tests passed	2s
publish	0s
	1h 36m 38s

Provide feedback