Skip to content

Actions: diffblue/hw-cbmc

Actions

Build and Test HW-CBMC

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request-checks.yaml
1,585 workflow run results
1,585 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #528 from diffblue/sequence1 Build and Test HW-CBMC #1789: Commit 5ce1ec8 pushed by tautschnig
June 3, 2024 08:28 18m 59s main
main
June 3, 2024 08:28 18m 59s
Merge pull request #527 from diffblue/sequence2 Build and Test HW-CBMC #1788: Commit f05060e pushed by tautschnig
June 3, 2024 08:24 18m 28s main
main
June 3, 2024 08:24 18m 28s
SVA followed-by operators Build and Test HW-CBMC #1787: Pull request #530 opened by kroening
June 2, 2024 23:24 20m 49s SVA-followed-by
SVA-followed-by
June 2, 2024 23:24 20m 49s
Verilog: normalize ##[i:$] Build and Test HW-CBMC #1786: Pull request #527 synchronize by kroening
June 2, 2024 23:08 3m 45s sequence2
sequence2
June 2, 2024 23:08 3m 45s
Operators ##[*] and ##[+] Build and Test HW-CBMC #1785: Pull request #529 opened by kroening
June 2, 2024 22:58 18m 8s sequence3
sequence3
June 2, 2024 22:58 18m 8s
property instantiation now returns largest timeframe used Build and Test HW-CBMC #1784: Pull request #528 synchronize by kroening
June 2, 2024 22:34 4m 3s sequence1
sequence1
June 2, 2024 22:34 4m 3s
property instantiation now returns largest timeframe used Build and Test HW-CBMC #1783: Pull request #528 synchronize by kroening
June 2, 2024 22:19 18m 36s sequence1
sequence1
June 2, 2024 22:19 18m 36s
property instantiation now returns largest timeframe used Build and Test HW-CBMC #1782: Pull request #528 synchronize by kroening
June 2, 2024 22:15 18m 5s sequence1
sequence1
June 2, 2024 22:15 18m 5s
property instantiation now returns largest timeframe used Build and Test HW-CBMC #1781: Pull request #528 opened by kroening
June 2, 2024 22:10 17m 14s sequence1
sequence1
June 2, 2024 22:10 17m 14s
Verilog: normalize ##[i:$] Build and Test HW-CBMC #1780: Pull request #527 synchronize by kroening
June 2, 2024 21:10 3m 39s sequence2
sequence2
June 2, 2024 21:10 3m 39s
Verilog: normalize ##[i:$] Build and Test HW-CBMC #1779: Pull request #527 synchronize by kroening
June 2, 2024 21:08 3m 24s sequence2
sequence2
June 2, 2024 21:08 3m 24s
Verilog: normalize ##[i:$] Build and Test HW-CBMC #1778: Pull request #527 opened by kroening
June 2, 2024 20:35 18m 15s sequence2
sequence2
June 2, 2024 20:35 18m 15s
random_traces functions now take ebmc_solver_factoryt Build and Test HW-CBMC #1777: Pull request #523 synchronize by kroening
June 1, 2024 20:24 18m 20s random-traces-solver-factory
random-traces-solver-factory
June 1, 2024 20:24 18m 20s
Merge pull request #526 from diffblue/bump-cbmc2 Build and Test HW-CBMC #1776: Commit 56199ec pushed by tautschnig
May 29, 2024 05:21 17m 39s main
main
May 29, 2024 05:21 17m 39s
Merge pull request #525 from diffblue/transition_systemt-helpers Build and Test HW-CBMC #1775: Commit 8b77ac0 pushed by kroening
May 28, 2024 19:52 3m 49s main
main
May 28, 2024 19:52 3m 49s
bump CBMC dependency Build and Test HW-CBMC #1774: Pull request #526 synchronize by kroening
May 28, 2024 19:49 18m 24s bump-cbmc2
bump-cbmc2
May 28, 2024 19:49 18m 24s
SAT-based neural ranking engine Build and Test HW-CBMC #1773: Pull request #524 synchronize by kroening
May 28, 2024 19:47 4m 31s solver-nuterm
solver-nuterm
May 28, 2024 19:47 4m 31s
SAT-based neural ranking engine Build and Test HW-CBMC #1772: Pull request #524 synchronize by kroening
May 28, 2024 19:33 13m 43s solver-nuterm
solver-nuterm
May 28, 2024 19:33 13m 43s
bump CBMC dependency Build and Test HW-CBMC #1771: Pull request #526 synchronize by kroening
May 28, 2024 19:29 33m 46s bump-cbmc2
bump-cbmc2
May 28, 2024 19:29 33m 46s
random_traces functions now take ebmc_solver_factoryt Build and Test HW-CBMC #1770: Pull request #523 synchronize by kroening
May 28, 2024 19:28 21m 49s random-traces-solver-factory
random-traces-solver-factory
May 28, 2024 19:28 21m 49s
random_traces functions now take ebmc_solver_factoryt Build and Test HW-CBMC #1769: Pull request #523 synchronize by kroening
May 28, 2024 19:26 17m 35s random-traces-solver-factory
random-traces-solver-factory
May 28, 2024 19:26 17m 35s
bump CBMC dependency Build and Test HW-CBMC #1768: Pull request #526 opened by kroening
May 28, 2024 19:17 16m 29s bump-cbmc2
bump-cbmc2
May 28, 2024 19:17 16m 29s
SAT-based neural ranking engine Build and Test HW-CBMC #1767: Pull request #524 synchronize by kroening
May 28, 2024 17:23 2m 7s solver-nuterm
solver-nuterm
May 28, 2024 17:23 2m 7s
SAT-based neural ranking engine Build and Test HW-CBMC #1766: Pull request #524 synchronize by kroening
May 28, 2024 16:50 3m 7s solver-nuterm
solver-nuterm
May 28, 2024 16:50 3m 7s
SAT-based neural ranking engine Build and Test HW-CBMC #1765: Pull request #524 synchronize by kroening
May 28, 2024 15:51 3m 53s solver-nuterm
solver-nuterm
May 28, 2024 15:51 3m 53s