Skip to content

Actions: keplertech/kepler-formal

Actions

consumer-smoke

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
consumer.yml
330 workflow runs
330 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Experimental: --skip-gated-clock-flops, so a clock-gated netlist can be checked, minus its gated flops consumer-smoke #330: Pull request #274 opened by oharboe
2m 25s oharboe:skip-gated-clock-flops
oharboe:skip-gated-clock-flops
2m 25s
Merge pull request #273 from keplertech/wfFix consumer-smoke #329: Commit 91e00fd pushed by nanocoh
1m 52s main
main
1m 52s
wheels: fetch bison from a GNU mirror with a pinned checksum consumer-smoke #328: Pull request #273 opened by nanocoh
2m 9s wfFix
wfFix
2m 9s
TODO: report progress across outputs during a long LEC consumer-smoke #327: Pull request #272 opened by oharboe
1h 43m 45s oharboe:solver-progress
oharboe:solver-progress
1h 43m 45s
TODO: SystemVerilog RTL against a liberty gate netlist in one run consumer-smoke #326: Pull request #271 opened by oharboe
1h 21m 27s oharboe:sv-rtl-against-gates
oharboe:sv-rtl-against-gates
1h 21m 27s
TODO: physical-only cells without a liberty function should not stop loading consumer-smoke #325: Pull request #270 opened by oharboe
1h 18m 37s oharboe:physical-only-cells
oharboe:physical-only-cells
1h 18m 37s
LEC: the verdict names the miter log this run wrote consumer-smoke #324: Pull request #269 synchronize by oharboe
43m 37s oharboe:lec-log-names-miter-log
oharboe:lec-log-names-miter-log
43m 37s
LEC: the verdict names the miter log this run wrote consumer-smoke #323: Pull request #269 opened by oharboe
42m 31s oharboe:lec-log-names-miter-log
oharboe:lec-log-names-miter-log
42m 31s
LEC: name the problem the solver is given, and the time it takes consumer-smoke #322: Pull request #268 synchronize by oharboe
28m 16s oharboe:solver-problem-size
oharboe:solver-problem-size
28m 16s
LEC: exit 3 when a difference is found, as a SEC counterexample does consumer-smoke #321: Pull request #267 synchronize by oharboe
19m 59s oharboe:lec-exit-status
oharboe:lec-exit-status
19m 59s
LEC: name the problem the solver is given, and the time it takes consumer-smoke #320: Pull request #268 opened by oharboe
16m 11s oharboe:solver-problem-size
oharboe:solver-problem-size
16m 11s
LEC: exit 3 when a difference is found, as a SEC counterexample does consumer-smoke #319: Pull request #267 opened by oharboe
10m 30s oharboe:lec-exit-status
oharboe:lec-exit-status
10m 30s
Merge pull request #266 from keplertech/pyInputSeq consumer-smoke #318: Commit ea09c2a pushed by nanocoh
2m 14s main
main
2m 14s
Test Python design input with cells modelled in Python only consumer-smoke #317: Pull request #266 opened by nanocoh
2m 10s pyInputSeq
pyInputSeq
2m 10s
c++ front end consumer-smoke #316: Pull request #253 synchronize by nanocoh
7m 8s nanocoh:main
nanocoh:main
7m 8s
c++ front end consumer-smoke #315: Pull request #253 synchronize by nanocoh
43m 7s nanocoh:main
nanocoh:main
43m 7s
Model RTL X constant literals as permanently-X state in SEC consumer-smoke #314: Pull request #265 opened by nanocoh
2m 31s binding-py-runtime
binding-py-runtime
2m 31s
Py input consumer-smoke #313: Commit acb85ea pushed by nanocoh
2m 4s main
main
2m 4s
Bind the Python package to NajaEDA through its shipped headers + fixes consumer-smoke #312: Commit 26f71f0 pushed by nanocoh
1m 50s main
main
1m 50s
Py input consumer-smoke #311: Pull request #264 synchronize by nanocoh
5m 45s pyInput
pyInput
5m 45s
Py input consumer-smoke #310: Pull request #264 synchronize by nanocoh
1m 40s pyInput
pyInput
1m 40s
Py input consumer-smoke #309: Pull request #264 opened by nanocoh
2m 4s pyInput
pyInput
2m 4s
Bind the Python package to NajaEDA through its shipped headers consumer-smoke #308: Pull request #263 opened by nanocoh
2m 25s binding-py-runtime
binding-py-runtime
2m 25s
VHDL + fixes consumer-smoke #307: Commit 68cc28b pushed by nanocoh
2m 10s main
main
2m 10s
Update consumer-smoke #306: Pull request #260 synchronize by nanocoh
2m 19s update
update
2m 19s