Skip to content
SAWScript

Yosys: Support compositional translation of sequential circuits #2690

Sign in to view logs

Yosys: Support compositional translation of sequential circuits

Yosys: Support compositional translation of sequential circuits #2690

Run time

Learn about OS pricing on GitHub Actions
Job Run time
config
6s
build-push-image
0s
build (ubuntu-22.04, 3.10.1.0, 8.10.7, true)
31m 33s
build (ubuntu-22.04, 3.10.1.0, 9.2.7, true)
24m 59s
build (ubuntu-22.04, 3.10.1.0, 9.4.4, true)
7m 12s
build (macos-12, 3.10.1.0, 8.10.7, true)
43m 39s
build (macos-12, 3.10.1.0, 9.2.7, true)
26m 37s
build (macos-12, 3.10.1.0, 9.4.4, true)
10m 15s
build (windows-latest, 3.10.1.0, 8.10.7, true)
41m 24s
build (windows-latest, 3.10.1.0, 9.2.7, true)
28m 26s
build (windows-latest, 3.10.1.0, 9.4.4, true)
10m 32s
build (ubuntu-20.04, 8.10.7, 3.10.1.0, false)
36m 3s
mr-solver-tests (ubuntu-22.04)
42s
mr-solver-tests (macos-12)
1m 2s
heapster-tests (ubuntu-22.04)
2h 34m 32s
heapster-tests (macos-12)
2h 27m 7s
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...
1m 44s
saw-remote-api-tests (Check docs, saw-remote-api/scripts/check_docs.sh, ubuntu-22.04)
38s
cabal-test (integration_tests, ubuntu-22.04, false)
14m 0s
cabal-test (test-sawcore, ubuntu-22.04, false)
38s
cabal-test (cryptol-saw-core-tc-test, ubuntu-22.04, false)
40s
cabal-test (prover_tests, ubuntu-22.04, false)
48s
cabal-test (integration_tests, macos-12, true)
18m 29s
cabal-test (integration_tests, windows-latest, true, 60)
22m 25s
Test SAW exercises (8.10.7)
3m 9s
Test s2n proofs (hmac, 8.10.7)
11m 14s
Test s2n proofs (drbg, 8.10.7)
6m 40s
Test s2n proofs (sike, 8.10.7)
6m 21s
Test s2n proofs (bike, 8.10.7)
9m 58s
Test s2n proofs (tls, 8.10.7)
9m 45s
Test s2n proofs (hmac-failure, 8.10.7)
6m 57s
Test s2n proofs (awslc, 8.10.7)
1h 21m 0s
Test s2n proofs (blst, 8.10.7)
21m 52s
mergify
1s
13h 2m 23s