Skip to content
SAWScript

Yosys: Support compositional translation of sequential circuits #2773

Sign in to view logs

Yosys: Support compositional translation of sequential circuits

Yosys: Support compositional translation of sequential circuits #2773

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
7s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true)
37m 12s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
19m 56s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
6m 47s
build (macos-12, 3.10.1.0, 8.10.7, true)
42m 45s
build (macos-12, 3.10.1.0, 9.2.7, true)
28m 14s
build (macos-12, 3.10.1.0, 9.4.4, true)
13m 26s
build (windows-2019, 3.10.1.0, 8.10.7, true)
1h 21m 35s
build (windows-2019, 3.10.1.0, 9.2.7, true)
23m 36s
build (windows-2019, 3.10.1.0, 9.4.4, true)
8m 32s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
31m 24s
build-push-image
0s
heapster-tests (ubuntu-22.04)
2h 30m 22s
heapster-tests (macos-12)
2h 13m 44s
mr-solver-tests (ubuntu-22.04)
34s
mr-solver-tests (macos-12)
1m 25s
Test SAW exercises (8.10.7)
3m 55s
cabal-test (integration_tests, ubuntu-22.04, false)
15m 45s
cabal-test (test-sawcore, ubuntu-22.04, false)
1m 6s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
33s
cabal-test (prover_tests, ubuntu-22.04, false)
30s
cabal-test (integration_tests, macos-12, true)
19m 50s
cabal-test (integration_tests, windows-2019, true, 60)
22m 16s
Test s2n proofs (hmac, 8.10.7)
11m 12s
Test s2n proofs (drbg, 8.10.7)
4m 32s
Test s2n proofs (sike, 8.10.7)
6m 19s
Test s2n proofs (bike, 8.10.7)
9m 53s
Test s2n proofs (tls, 8.10.7)
12m 38s
Test s2n proofs (hmac-failure, 8.10.7)
5m 32s
Test s2n proofs (awslc, 8.10.7)
1h 43m 17s
Test s2n proofs (blst, 8.10.7)
29m 45s
saw-remote-api-tests (Install and test, saw-remote-api/scripts/run_rpc_tests.sh, ubuntu-22.04)
1m 55s
saw-remote-api-tests (Install on MacOS, cd saw-remote-api/python/ poetry update poetry install po...
2m 2s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
47s
mergify
1s
13h 51m 27s