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

Contracts/DFCC: split conjunctions in loop invariants Build Linux partially with CPROVER tools #7665: Pull request #8458 synchronize by tautschnig
September 17, 2024 18:42 5m 9s tautschnig:loop-invariants-conjunction-splitting
tautschnig:loop-invariants-conjunction-splitting
September 17, 2024 18:42 5m 9s
Contracts: always remove spurious do {... } while(0) loops Build Linux partially with CPROVER tools #7664: Pull request #8459 synchronize by tautschnig
September 17, 2024 13:23 4m 29s tautschnig:contracts-remove-do-while-0
tautschnig:contracts-remove-do-while-0
September 17, 2024 13:23 4m 29s
Contracts: always remove spurious do {... } while(0) loops Build Linux partially with CPROVER tools #7663: Pull request #8459 opened by tautschnig
September 17, 2024 12:59 14m 4s tautschnig:contracts-remove-do-while-0
tautschnig:contracts-remove-do-while-0
September 17, 2024 12:59 14m 4s
Contracts/DFCC: split conjunctions in loop invariants Build Linux partially with CPROVER tools #7662: Pull request #8458 opened by tautschnig
September 17, 2024 11:50 13m 23s tautschnig:loop-invariants-conjunction-splitting
tautschnig:loop-invariants-conjunction-splitting
September 17, 2024 11:50 13m 23s
format_expr now prints bv-typed constants Build Linux partially with CPROVER tools #7661: Pull request #8457 synchronize by kroening
September 16, 2024 23:55 4m 45s format_expr_bv_constant
format_expr_bv_constant
September 16, 2024 23:55 4m 45s
format_expr now prints bv-typed constants Build Linux partially with CPROVER tools #7660: Pull request #8457 opened by kroening
September 16, 2024 22:50 13m 59s format_expr_bv_constant
format_expr_bv_constant
September 16, 2024 22:50 13m 59s
Clarify usage of history variables in error messages Build Linux partially with CPROVER tools #7659: Pull request #8456 synchronize by qinheping
September 16, 2024 01:24 4m 31s qinheping:issues/8453
qinheping:issues/8453
September 16, 2024 01:24 4m 31s
Clarify usage of history variables in error messages Build Linux partially with CPROVER tools #7658: Pull request #8456 synchronize by qinheping
September 16, 2024 01:21 4m 19s qinheping:issues/8453
qinheping:issues/8453
September 16, 2024 01:21 4m 19s
Clarify usage of history variables in error messages Build Linux partially with CPROVER tools #7657: Pull request #8456 synchronize by qinheping
September 13, 2024 19:51 4m 40s qinheping:issues/8453
qinheping:issues/8453
September 13, 2024 19:51 4m 40s
Clarify usage of history variables in error messages Build Linux partially with CPROVER tools #7656: Pull request #8456 synchronize by qinheping
September 13, 2024 19:45 4m 30s qinheping:issues/8453
qinheping:issues/8453
September 13, 2024 19:45 4m 30s
Clarify usage of history variables in error messages Build Linux partially with CPROVER tools #7655: Pull request #8456 opened by qinheping
September 13, 2024 19:40 4m 32s qinheping:issues/8453
qinheping:issues/8453
September 13, 2024 19:40 4m 32s
Mark constant_exprt::value_is_zero_string protected Build Linux partially with CPROVER tools #7654: Pull request #8455 opened by tautschnig
September 13, 2024 15:49 2m 10s tautschnig:protect-value_is_zero_string
tautschnig:protect-value_is_zero_string
September 13, 2024 15:49 2m 10s
Deprecate make_and in favour of conjunction(expr, expr) Build Linux partially with CPROVER tools #7653: Pull request #8450 synchronize by tautschnig
September 13, 2024 15:31 21m 33s tautschnig:no-make_and
tautschnig:no-make_and
September 13, 2024 15:31 21m 33s
Use boolean_negate for immediate simplification Build Linux partially with CPROVER tools #7652: Pull request #8449 synchronize by tautschnig
September 13, 2024 15:27 12m 8s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 13, 2024 15:27 12m 8s
C front-end: fix processing of alignment and packing attributes Build Linux partially with CPROVER tools #7651: Pull request #8454 opened by tautschnig
September 13, 2024 15:26 4m 22s tautschnig:fix-8443-attributes
tautschnig:fix-8443-attributes
September 13, 2024 15:26 4m 22s
Use boolean_negate for immediate simplification Build Linux partially with CPROVER tools #7650: Pull request #8449 synchronize by tautschnig
September 13, 2024 12:21 12m 6s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 13, 2024 12:21 12m 6s
Use boolean_negate for immediate simplification Build Linux partially with CPROVER tools #7649: Pull request #8449 synchronize by tautschnig
September 13, 2024 10:02 25m 59s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 13, 2024 10:02 25m 59s
Move make_with_expr to update_exprt Build Linux partially with CPROVER tools #7648: Pull request #8448 synchronize by tautschnig
September 13, 2024 09:56 14m 51s tautschnig:move-make_with_expr
tautschnig:move-make_with_expr
September 13, 2024 09:56 14m 51s
add documentation of default for --max-nondet-array-length, see #8428 Build Linux partially with CPROVER tools #7647: Pull request #8432 synchronize by lks9
September 13, 2024 09:48 4m 32s lks9:doc_8428
lks9:doc_8428
September 13, 2024 09:48 4m 32s
Remove renamedt from symex_targett interface Build Linux partially with CPROVER tools #7646: Pull request #8447 synchronize by tautschnig
September 10, 2024 15:00 21m 55s tautschnig:no-renamedt
tautschnig:no-renamedt
September 10, 2024 15:00 21m 55s
Move is_null_pointer to constant_exprt Build Linux partially with CPROVER tools #7645: Pull request #8445 synchronize by tautschnig
September 10, 2024 14:56 15m 27s tautschnig:move-is_null_pointer
tautschnig:move-is_null_pointer
September 10, 2024 14:56 15m 27s
Move is_null_pointer to constant_exprt Build Linux partially with CPROVER tools #7644: Pull request #8445 synchronize by tautschnig
September 10, 2024 14:53 4m 23s tautschnig:move-is_null_pointer
tautschnig:move-is_null_pointer
September 10, 2024 14:53 4m 23s
[Do not review just yet] Cleanup exprt and expr_util Build Linux partially with CPROVER tools #7643: Pull request #8451 opened by tautschnig
September 10, 2024 14:43 15m 46s tautschnig:cleanup-expr
tautschnig:cleanup-expr
September 10, 2024 14:43 15m 46s
Deprecate make_and in favour of conjunction(expr, expr) Build Linux partially with CPROVER tools #7642: Pull request #8450 opened by tautschnig
September 10, 2024 14:38 1m 5s tautschnig:no-make_and
tautschnig:no-make_and
September 10, 2024 14:38 1m 5s
Use boolean_negate for immediate simplification Build Linux partially with CPROVER tools #7641: Pull request #8449 opened by tautschnig
September 10, 2024 14:31 4m 47s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 10, 2024 14:31 4m 47s