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

Add k-induction for SmtModelCheckers (#713) #1372

Job	Run time
Documentation and Formatting	1m 13s
icarus verilog (ubuntu-20.04)	2m 7s
formal verification tests on mac	2m 35s
icarus verilog (macos-latest)	2m 16s
formal verification tests (z3)	2m 31s
formal verification tests (cvc4)	2m 16s
formal verification tests (btormc)	2m 20s
Integration Tests (2.13.12, 8)	1m 36s
formal verification tests (bitwuzla)	3m 24s
No Warnings with Scala 2.13 for PRs	0s
Integration Tests (2.13.12, 11)	1m 43s
sbt test on ubuntu (2.13.10, 8)	1m 38s
Integration Tests (2.13.12, 20)	1m 40s
sbt test on ubuntu (2.13.10, 11)	1m 47s
Integration Tests (2.13.12, 21)	1m 47s
sbt test on mac	35s
sbt test for treadle on ubuntu (2.13.10, 8)	1m 24s
sbt test for treadle on ubuntu (2.13.10, 11)	1m 39s
verilator regressions (4.028)	12m 45s
verilator regressions (4.032)	13m 4s
verilator regressions (4.034)	13m 59s
verilator regressions (4.038)	14m 5s
verilator regressions (4.108)	16m 1s
verilator regressions (4.200)	15m 51s
verilator regressions (4.202)	15m 39s
verilator regressions (5.018)	6h 0m 14s
verilator regressions (5.020)	6h 0m 14s
all tests passed	0s
publish	0s
	14h 14m 23s

Provide feedback