Skip to content

Actions: diffblue/cbmc

Actions

Build Linux partially with CPROVER tools

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test-Linux.yaml
1,651 workflow runs
1,651 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove dynamic_cast from counterexample beautification code path Build Linux partially with CPROVER tools #7590: Pull request #8421 synchronize by tautschnig
August 21, 2024 07:17 13m 12s tautschnig:no-boolbv-dynamic_cast
tautschnig:no-boolbv-dynamic_cast
August 21, 2024 07:17 13m 12s
Maintain loop invariant annotation when converting do .. while Build Linux partially with CPROVER tools #7589: Pull request #8417 synchronize by tautschnig
August 21, 2024 07:15 13m 16s tautschnig:fix-do-while-loop-invariant
tautschnig:fix-do-while-loop-invariant
August 21, 2024 07:15 13m 16s
CONTRACTS: redirect checks to outer write set for loops that get skipped Build Linux partially with CPROVER tools #7588: Pull request #8416 synchronize by remi-delmas-3000
August 20, 2024 21:47 4m 39s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 20, 2024 21:47 4m 39s
CONTRACTS: fix do while latch Build Linux partially with CPROVER tools #7587: Pull request #8420 synchronize by remi-delmas-3000
August 20, 2024 21:19 7m 24s remi-delmas-3000:contracts-fix-do-while-latch
remi-delmas-3000:contracts-fix-do-while-latch
August 20, 2024 21:19 7m 24s
CONTRACTS: redirect checks to outer write set for loops that get skipped Build Linux partially with CPROVER tools #7586: Pull request #8416 synchronize by remi-delmas-3000
August 20, 2024 21:13 4m 28s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 20, 2024 21:13 4m 28s
Remove dynamic_cast from counterexample beautification code path Build Linux partially with CPROVER tools #7585: Pull request #8421 opened by tautschnig
August 20, 2024 21:00 4m 32s tautschnig:no-boolbv-dynamic_cast
tautschnig:no-boolbv-dynamic_cast
August 20, 2024 21:00 4m 32s
CONTRACTS: fix do while latch Build Linux partially with CPROVER tools #7584: Pull request #8420 synchronize by remi-delmas-3000
August 20, 2024 20:47 4m 32s remi-delmas-3000:contracts-fix-do-while-latch
remi-delmas-3000:contracts-fix-do-while-latch
August 20, 2024 20:47 4m 32s
CONTRACTS: fix do while latch Build Linux partially with CPROVER tools #7583: Pull request #8420 opened by remi-delmas-3000
August 20, 2024 20:38 4m 21s remi-delmas-3000:contracts-fix-do-while-latch
remi-delmas-3000:contracts-fix-do-while-latch
August 20, 2024 20:38 4m 21s
Remove qualifierst Build Linux partially with CPROVER tools #7582: Pull request #8419 synchronize by tautschnig
August 20, 2024 11:40 4m 34s tautschnig:expr2c-no-dynamic_cast
tautschnig:expr2c-no-dynamic_cast
August 20, 2024 11:40 4m 34s
Remove qualifierst Build Linux partially with CPROVER tools #7581: Pull request #8419 synchronize by tautschnig
August 20, 2024 10:56 7m 43s tautschnig:expr2c-no-dynamic_cast
tautschnig:expr2c-no-dynamic_cast
August 20, 2024 10:56 7m 43s
Promote set_all_frozen to decision_proceduret to remove a dynamic_cast Build Linux partially with CPROVER tools #7580: Pull request #8404 synchronize by tautschnig
August 20, 2024 10:54 7m 31s tautschnig:freeze-no-dynamic_cast
tautschnig:freeze-no-dynamic_cast
August 20, 2024 10:54 7m 31s
Remove qualifierst Build Linux partially with CPROVER tools #7579: Pull request #8419 opened by tautschnig
August 20, 2024 10:52 4m 28s tautschnig:expr2c-no-dynamic_cast
tautschnig:expr2c-no-dynamic_cast
August 20, 2024 10:52 4m 28s
jbmc, janalyzer: Remove unnecessary dynamic_cast Build Linux partially with CPROVER tools #7578: Pull request #8418 synchronize by tautschnig
August 20, 2024 09:57 4m 37s tautschnig:lazy_goto_model-no-dynamic_cast
tautschnig:lazy_goto_model-no-dynamic_cast
August 20, 2024 09:57 4m 37s
jbmc, janalyzer: Remove unnecessary dynamic_cast Build Linux partially with CPROVER tools #7577: Pull request #8418 synchronize by tautschnig
August 20, 2024 09:28 4m 31s tautschnig:lazy_goto_model-no-dynamic_cast
tautschnig:lazy_goto_model-no-dynamic_cast
August 20, 2024 09:28 4m 31s
jbmc, janalyzer: Remove unnecessary dynamic_cast Build Linux partially with CPROVER tools #7576: Pull request #8418 opened by tautschnig
August 20, 2024 09:19 4m 17s tautschnig:lazy_goto_model-no-dynamic_cast
tautschnig:lazy_goto_model-no-dynamic_cast
August 20, 2024 09:19 4m 17s
Solver factory: all solvers are stack_decision_proceduret Build Linux partially with CPROVER tools #7575: Pull request #8408 synchronize by tautschnig
August 20, 2024 08:23 6m 31s tautschnig:solver-factory-no-dynamic_cast
tautschnig:solver-factory-no-dynamic_cast
August 20, 2024 08:23 6m 31s
Library functions: mark them as compiled Build Linux partially with CPROVER tools #7574: Pull request #8412 synchronize by tautschnig
August 20, 2024 08:21 4m 25s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 20, 2024 08:21 4m 25s
Maintain loop invariant annotation when converting do .. while Build Linux partially with CPROVER tools #7573: Pull request #8417 synchronize by tautschnig
August 20, 2024 08:16 4m 22s tautschnig:fix-do-while-loop-invariant
tautschnig:fix-do-while-loop-invariant
August 20, 2024 08:16 4m 22s
Maintain loop invariant annotation when converting do .. while Build Linux partially with CPROVER tools #7572: Pull request #8417 synchronize by tautschnig
August 20, 2024 07:55 4m 8s tautschnig:fix-do-while-loop-invariant
tautschnig:fix-do-while-loop-invariant
August 20, 2024 07:55 4m 8s
Maintain loop invariant annotation when converting do .. while Build Linux partially with CPROVER tools #7571: Pull request #8417 synchronize by tautschnig
August 20, 2024 07:20 4m 22s tautschnig:fix-do-while-loop-invariant
tautschnig:fix-do-while-loop-invariant
August 20, 2024 07:20 4m 22s
CONTRACTS: redirect checks to outer write set for loops that get skipped Build Linux partially with CPROVER tools #7570: Pull request #8416 synchronize by remi-delmas-3000
August 19, 2024 20:02 4m 11s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 19, 2024 20:02 4m 11s
Maintain loop invariant annotation when converting do .. while Build Linux partially with CPROVER tools #7569: Pull request #8417 opened by tautschnig
August 19, 2024 19:04 4m 39s tautschnig:fix-do-while-loop-invariant
tautschnig:fix-do-while-loop-invariant
August 19, 2024 19:04 4m 39s
CONTRACTS: redirect checks to outer write set for loops that get skipped Build Linux partially with CPROVER tools #7568: Pull request #8416 synchronize by remi-delmas-3000
August 17, 2024 00:04 4m 5s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 17, 2024 00:04 4m 5s
CONTRACTS: redirect checks to outer write set for loops that get skipped Build Linux partially with CPROVER tools #7567: Pull request #8416 opened by remi-delmas-3000
August 16, 2024 23:07 13m 31s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 16, 2024 23:07 13m 31s
SMT2 parser with explicit stack Build Linux partially with CPROVER tools #7566: Pull request #8415 opened by kroening
August 15, 2024 00:10 14m 25s smt2_parser_with_stack
smt2_parser_with_stack
August 15, 2024 00:10 14m 25s