Skip to content

Actions: diffblue/cbmc

Actions

Publish CBMC documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish.yaml
2,397 workflow runs
2,397 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Mark constant_exprt::value_is_zero_string protected Publish CBMC documentation #5154: Pull request #8455 opened by tautschnig
September 13, 2024 15:49 7m 55s tautschnig:protect-value_is_zero_string
tautschnig:protect-value_is_zero_string
September 13, 2024 15:49 7m 55s
Deprecate make_and in favour of conjunction(expr, expr) Publish CBMC documentation #5153: Pull request #8450 synchronize by tautschnig
September 13, 2024 15:31 10m 9s tautschnig:no-make_and
tautschnig:no-make_and
September 13, 2024 15:31 10m 9s
Use boolean_negate for immediate simplification Publish CBMC documentation #5152: Pull request #8449 synchronize by tautschnig
September 13, 2024 15:27 7m 8s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 13, 2024 15:27 7m 8s
C front-end: fix processing of alignment and packing attributes Publish CBMC documentation #5151: Pull request #8454 opened by tautschnig
September 13, 2024 15:26 7m 5s tautschnig:fix-8443-attributes
tautschnig:fix-8443-attributes
September 13, 2024 15:26 7m 5s
Use boolean_negate for immediate simplification Publish CBMC documentation #5150: Pull request #8449 synchronize by tautschnig
September 13, 2024 12:21 7m 8s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 13, 2024 12:21 7m 8s
Merge pull request #8448 from tautschnig/move-make_with_expr Publish CBMC documentation #5149: Commit 2212cd6 pushed by tautschnig
September 13, 2024 12:13 8m 20s develop
develop
September 13, 2024 12:13 8m 20s
Merge pull request #8432 from lks9/doc_8428 Publish CBMC documentation #5148: Commit e08b025 pushed by peterschrammel
September 13, 2024 10:41 7m 14s develop
develop
September 13, 2024 10:41 7m 14s
Use boolean_negate for immediate simplification Publish CBMC documentation #5147: Pull request #8449 synchronize by tautschnig
September 13, 2024 10:02 18m 11s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 13, 2024 10:02 18m 11s
Move make_with_expr to update_exprt Publish CBMC documentation #5146: Pull request #8448 synchronize by tautschnig
September 13, 2024 09:56 8m 9s tautschnig:move-make_with_expr
tautschnig:move-make_with_expr
September 13, 2024 09:56 8m 9s
Merge pull request #8445 from tautschnig/move-is_null_pointer Publish CBMC documentation #5145: Commit dc8793c pushed by tautschnig
September 13, 2024 09:51 7m 46s develop
develop
September 13, 2024 09:51 7m 46s
add documentation of default for --max-nondet-array-length, see #8428 Publish CBMC documentation #5144: Pull request #8432 synchronize by lks9
September 13, 2024 09:48 7m 31s lks9:doc_8428
lks9:doc_8428
September 13, 2024 09:48 7m 31s
Merge pull request #8418 from tautschnig/lazy_goto_model-no-dynamic_cast Publish CBMC documentation #5143: Commit f0543bd pushed by kroening
September 12, 2024 23:54 7m 36s develop
develop
September 12, 2024 23:54 7m 36s
Merge pull request #8391 from diffblue/exception-constructors Publish CBMC documentation #5142: Commit a29e933 pushed by kroening
September 12, 2024 23:53 7m 19s develop
develop
September 12, 2024 23:53 7m 19s
Merge pull request #8444 from tautschnig/fix-missing-locs Publish CBMC documentation #5141: Commit 29d6f31 pushed by tautschnig
September 11, 2024 08:23 7m 39s develop
develop
September 11, 2024 08:23 7m 39s
Remove renamedt from symex_targett interface Publish CBMC documentation #5140: Pull request #8447 synchronize by tautschnig
September 10, 2024 15:00 21m 4s tautschnig:no-renamedt
tautschnig:no-renamedt
September 10, 2024 15:00 21m 4s
Move is_null_pointer to constant_exprt Publish CBMC documentation #5139: Pull request #8445 synchronize by tautschnig
September 10, 2024 14:56 17m 52s tautschnig:move-is_null_pointer
tautschnig:move-is_null_pointer
September 10, 2024 14:56 17m 52s
Move is_null_pointer to constant_exprt Publish CBMC documentation #5138: Pull request #8445 synchronize by tautschnig
September 10, 2024 14:53 7m 25s tautschnig:move-is_null_pointer
tautschnig:move-is_null_pointer
September 10, 2024 14:53 7m 25s
[Do not review just yet] Cleanup exprt and expr_util Publish CBMC documentation #5137: Pull request #8451 opened by tautschnig
September 10, 2024 14:43 8m 29s tautschnig:cleanup-expr
tautschnig:cleanup-expr
September 10, 2024 14:43 8m 29s
Deprecate make_and in favour of conjunction(expr, expr) Publish CBMC documentation #5136: Pull request #8450 opened by tautschnig
September 10, 2024 14:38 7m 42s tautschnig:no-make_and
tautschnig:no-make_and
September 10, 2024 14:38 7m 42s
Use boolean_negate for immediate simplification Publish CBMC documentation #5135: Pull request #8449 opened by tautschnig
September 10, 2024 14:31 9m 55s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 10, 2024 14:31 9m 55s
Move make_with_expr to update_exprt Publish CBMC documentation #5134: Pull request #8448 opened by tautschnig
September 10, 2024 14:30 7m 1s tautschnig:move-make_with_expr
tautschnig:move-make_with_expr
September 10, 2024 14:30 7m 1s
Remove renamedt from symex_targett interface Publish CBMC documentation #5133: Pull request #8447 opened by tautschnig
September 10, 2024 14:29 7m 17s tautschnig:no-renamedt
tautschnig:no-renamedt
September 10, 2024 14:29 7m 17s
Move is_null_pointer to constant_exprt Publish CBMC documentation #5132: Pull request #8445 opened by tautschnig
September 10, 2024 13:41 7m 30s tautschnig:move-is_null_pointer
tautschnig:move-is_null_pointer
September 10, 2024 13:41 7m 30s
Goto conversion: fix missing source locations Publish CBMC documentation #5131: Pull request #8444 opened by tautschnig
September 10, 2024 13:29 6m 59s tautschnig:fix-missing-locs
tautschnig:fix-missing-locs
September 10, 2024 13:29 6m 59s
goto-symex: move level1 map to goto_statet Publish CBMC documentation #5130: Pull request #8439 synchronize by tautschnig
September 5, 2024 14:50 9m 55s tautschnig:fix-8437-level1-merge
tautschnig:fix-8437-level1-merge
September 5, 2024 14:50 9m 55s