Skip to content

Actions: diffblue/cbmc

Actions

Build Doxygen Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doxygen-check.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 Doxygen Documentation #9143: Pull request #8458 synchronize by tautschnig
September 17, 2024 18:42 1m 45s tautschnig:loop-invariants-conjunction-splitting
tautschnig:loop-invariants-conjunction-splitting
September 17, 2024 18:42 1m 45s
Contracts: always remove spurious do {... } while(0) loops Build Doxygen Documentation #9142: Pull request #8459 synchronize by tautschnig
September 17, 2024 13:23 1m 41s tautschnig:contracts-remove-do-while-0
tautschnig:contracts-remove-do-while-0
September 17, 2024 13:23 1m 41s
Contracts: always remove spurious do {... } while(0) loops Build Doxygen Documentation #9141: Pull request #8459 opened by tautschnig
September 17, 2024 12:59 1m 36s tautschnig:contracts-remove-do-while-0
tautschnig:contracts-remove-do-while-0
September 17, 2024 12:59 1m 36s
Contracts/DFCC: split conjunctions in loop invariants Build Doxygen Documentation #9140: Pull request #8458 opened by tautschnig
September 17, 2024 11:50 1m 42s tautschnig:loop-invariants-conjunction-splitting
tautschnig:loop-invariants-conjunction-splitting
September 17, 2024 11:50 1m 42s
format_expr now prints bv-typed constants Build Doxygen Documentation #9139: Pull request #8457 synchronize by kroening
September 16, 2024 23:55 1m 39s format_expr_bv_constant
format_expr_bv_constant
September 16, 2024 23:55 1m 39s
format_expr now prints bv-typed constants Build Doxygen Documentation #9138: Pull request #8457 opened by kroening
September 16, 2024 22:50 1m 54s format_expr_bv_constant
format_expr_bv_constant
September 16, 2024 22:50 1m 54s
Clarify usage of history variables in error messages Build Doxygen Documentation #9137: Pull request #8456 synchronize by qinheping
September 16, 2024 01:24 1m 41s qinheping:issues/8453
qinheping:issues/8453
September 16, 2024 01:24 1m 41s
Clarify usage of history variables in error messages Build Doxygen Documentation #9136: Pull request #8456 synchronize by qinheping
September 16, 2024 01:21 1m 49s qinheping:issues/8453
qinheping:issues/8453
September 16, 2024 01:21 1m 49s
Clarify usage of history variables in error messages Build Doxygen Documentation #9135: Pull request #8456 synchronize by qinheping
September 13, 2024 19:51 1m 47s qinheping:issues/8453
qinheping:issues/8453
September 13, 2024 19:51 1m 47s
Clarify usage of history variables in error messages Build Doxygen Documentation #9134: Pull request #8456 synchronize by qinheping
September 13, 2024 19:45 1m 43s qinheping:issues/8453
qinheping:issues/8453
September 13, 2024 19:45 1m 43s
Clarify usage of history variables in error messages Build Doxygen Documentation #9133: Pull request #8456 opened by qinheping
September 13, 2024 19:40 2m 16s qinheping:issues/8453
qinheping:issues/8453
September 13, 2024 19:40 2m 16s
Mark constant_exprt::value_is_zero_string protected Build Doxygen Documentation #9132: Pull request #8455 opened by tautschnig
September 13, 2024 15:49 1m 46s tautschnig:protect-value_is_zero_string
tautschnig:protect-value_is_zero_string
September 13, 2024 15:49 1m 46s
Deprecate make_and in favour of conjunction(expr, expr) Build Doxygen Documentation #9131: Pull request #8450 synchronize by tautschnig
September 13, 2024 15:31 10m 6s tautschnig:no-make_and
tautschnig:no-make_and
September 13, 2024 15:31 10m 6s
Use boolean_negate for immediate simplification Build Doxygen Documentation #9130: Pull request #8449 synchronize by tautschnig
September 13, 2024 15:27 1m 37s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 13, 2024 15:27 1m 37s
C front-end: fix processing of alignment and packing attributes Build Doxygen Documentation #9129: Pull request #8454 opened by tautschnig
September 13, 2024 15:26 1m 43s tautschnig:fix-8443-attributes
tautschnig:fix-8443-attributes
September 13, 2024 15:26 1m 43s
Use boolean_negate for immediate simplification Build Doxygen Documentation #9128: Pull request #8449 synchronize by tautschnig
September 13, 2024 12:21 2m 0s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 13, 2024 12:21 2m 0s
Use boolean_negate for immediate simplification Build Doxygen Documentation #9127: Pull request #8449 synchronize by tautschnig
September 13, 2024 10:02 16m 23s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 13, 2024 10:02 16m 23s
Move make_with_expr to update_exprt Build Doxygen Documentation #9126: Pull request #8448 synchronize by tautschnig
September 13, 2024 09:56 10m 35s tautschnig:move-make_with_expr
tautschnig:move-make_with_expr
September 13, 2024 09:56 10m 35s
add documentation of default for --max-nondet-array-length, see #8428 Build Doxygen Documentation #9125: Pull request #8432 synchronize by lks9
September 13, 2024 09:48 1m 47s lks9:doc_8428
lks9:doc_8428
September 13, 2024 09:48 1m 47s
Remove renamedt from symex_targett interface Build Doxygen Documentation #9124: Pull request #8447 synchronize by tautschnig
September 10, 2024 15:00 16m 50s tautschnig:no-renamedt
tautschnig:no-renamedt
September 10, 2024 15:00 16m 50s
Move is_null_pointer to constant_exprt Build Doxygen Documentation #9123: Pull request #8445 synchronize by tautschnig
September 10, 2024 14:56 11m 19s tautschnig:move-is_null_pointer
tautschnig:move-is_null_pointer
September 10, 2024 14:56 11m 19s
Move is_null_pointer to constant_exprt Build Doxygen Documentation #9122: Pull request #8445 synchronize by tautschnig
September 10, 2024 14:53 1m 48s tautschnig:move-is_null_pointer
tautschnig:move-is_null_pointer
September 10, 2024 14:53 1m 48s
[Do not review just yet] Cleanup exprt and expr_util Build Doxygen Documentation #9121: Pull request #8451 opened by tautschnig
September 10, 2024 14:43 4m 25s tautschnig:cleanup-expr
tautschnig:cleanup-expr
September 10, 2024 14:43 4m 25s
Deprecate make_and in favour of conjunction(expr, expr) Build Doxygen Documentation #9120: Pull request #8450 opened by tautschnig
September 10, 2024 14:38 2m 50s tautschnig:no-make_and
tautschnig:no-make_and
September 10, 2024 14:38 2m 50s
Use boolean_negate for immediate simplification Build Doxygen Documentation #9119: Pull request #8449 opened by tautschnig
September 10, 2024 14:31 6m 52s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 10, 2024 14:31 6m 52s