Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
2,073 workflow runs
2,073 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Deprecate make_and in favour of conjunction(expr, expr) CodeQL #6443: Pull request #8450 synchronize by tautschnig
September 13, 2024 15:31 51m 15s tautschnig:no-make_and
tautschnig:no-make_and
September 13, 2024 15:31 51m 15s
Use boolean_negate for immediate simplification CodeQL #6442: Pull request #8449 synchronize by tautschnig
September 13, 2024 15:27 30m 30s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 13, 2024 15:27 30m 30s
C front-end: fix processing of alignment and packing attributes CodeQL #6441: Pull request #8454 opened by tautschnig
September 13, 2024 15:26 30m 45s tautschnig:fix-8443-attributes
tautschnig:fix-8443-attributes
September 13, 2024 15:26 30m 45s
Use boolean_negate for immediate simplification CodeQL #6440: Pull request #8449 synchronize by tautschnig
September 13, 2024 12:21 47m 0s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 13, 2024 12:21 47m 0s
Merge pull request #8448 from tautschnig/move-make_with_expr CodeQL #6439: Commit 2212cd6 pushed by tautschnig
September 13, 2024 12:13 51m 7s develop
develop
September 13, 2024 12:13 51m 7s
Merge pull request #8432 from lks9/doc_8428 CodeQL #6438: Commit e08b025 pushed by peterschrammel
September 13, 2024 10:41 51m 1s develop
develop
September 13, 2024 10:41 51m 1s
Use boolean_negate for immediate simplification CodeQL #6437: Pull request #8449 synchronize by tautschnig
September 13, 2024 10:02 56m 54s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 13, 2024 10:02 56m 54s
Move make_with_expr to update_exprt CodeQL #6436: Pull request #8448 synchronize by tautschnig
September 13, 2024 09:56 48m 51s tautschnig:move-make_with_expr
tautschnig:move-make_with_expr
September 13, 2024 09:56 48m 51s
Merge pull request #8445 from tautschnig/move-is_null_pointer CodeQL #6435: Commit dc8793c pushed by tautschnig
September 13, 2024 09:51 51m 12s develop
develop
September 13, 2024 09:51 51m 12s
add documentation of default for --max-nondet-array-length, see #8428 CodeQL #6434: Pull request #8432 synchronize by lks9
September 13, 2024 09:48 30m 50s lks9:doc_8428
lks9:doc_8428
September 13, 2024 09:48 30m 50s
Merge pull request #8418 from tautschnig/lazy_goto_model-no-dynamic_cast CodeQL #6433: Commit f0543bd pushed by kroening
September 12, 2024 23:54 51m 16s develop
develop
September 12, 2024 23:54 51m 16s
Merge pull request #8391 from diffblue/exception-constructors CodeQL #6432: Commit a29e933 pushed by kroening
September 12, 2024 23:53 51m 22s develop
develop
September 12, 2024 23:53 51m 22s
Merge pull request #8444 from tautschnig/fix-missing-locs CodeQL #6431: Commit 29d6f31 pushed by tautschnig
September 11, 2024 08:23 52m 32s develop
develop
September 11, 2024 08:23 52m 32s
Remove renamedt from symex_targett interface CodeQL #6430: Pull request #8447 synchronize by tautschnig
September 10, 2024 15:00 50m 33s tautschnig:no-renamedt
tautschnig:no-renamedt
September 10, 2024 15:00 50m 33s
Move is_null_pointer to constant_exprt CodeQL #6429: Pull request #8445 synchronize by tautschnig
September 10, 2024 14:56 59m 25s tautschnig:move-is_null_pointer
tautschnig:move-is_null_pointer
September 10, 2024 14:56 59m 25s
Move is_null_pointer to constant_exprt CodeQL #6428: Pull request #8445 synchronize by tautschnig
September 10, 2024 14:53 49m 58s tautschnig:move-is_null_pointer
tautschnig:move-is_null_pointer
September 10, 2024 14:53 49m 58s
[Do not review just yet] Cleanup exprt and expr_util CodeQL #6427: Pull request #8451 opened by tautschnig
September 10, 2024 14:43 50m 41s tautschnig:cleanup-expr
tautschnig:cleanup-expr
September 10, 2024 14:43 50m 41s
Deprecate make_and in favour of conjunction(expr, expr) CodeQL #6426: Pull request #8450 opened by tautschnig
September 10, 2024 14:38 4m 35s tautschnig:no-make_and
tautschnig:no-make_and
September 10, 2024 14:38 4m 35s
Use boolean_negate for immediate simplification CodeQL #6425: Pull request #8449 opened by tautschnig
September 10, 2024 14:31 31m 36s tautschnig:use-boolean_negate
tautschnig:use-boolean_negate
September 10, 2024 14:31 31m 36s
Move make_with_expr to update_exprt CodeQL #6424: Pull request #8448 opened by tautschnig
September 10, 2024 14:30 1m 42s tautschnig:move-make_with_expr
tautschnig:move-make_with_expr
September 10, 2024 14:30 1m 42s
Remove renamedt from symex_targett interface CodeQL #6423: Pull request #8447 opened by tautschnig
September 10, 2024 14:29 32m 31s tautschnig:no-renamedt
tautschnig:no-renamedt
September 10, 2024 14:29 32m 31s
Move is_null_pointer to constant_exprt CodeQL #6422: Pull request #8445 opened by tautschnig
September 10, 2024 13:41 46m 25s tautschnig:move-is_null_pointer
tautschnig:move-is_null_pointer
September 10, 2024 13:41 46m 25s
Goto conversion: fix missing source locations CodeQL #6421: Pull request #8444 opened by tautschnig
September 10, 2024 13:29 29m 44s tautschnig:fix-missing-locs
tautschnig:fix-missing-locs
September 10, 2024 13:29 29m 44s
goto-symex: move level1 map to goto_statet CodeQL #6420: Pull request #8439 synchronize by tautschnig
September 5, 2024 14:50 39m 36s tautschnig:fix-8437-level1-merge
tautschnig:fix-8437-level1-merge
September 5, 2024 14:50 39m 36s
Merge pull request #8440 from tautschnig/fix-python-syntax-error CodeQL #6419: Commit 4ae54e6 pushed by tautschnig
September 5, 2024 14:49 51m 45s develop
develop
September 5, 2024 14:49 51m 45s