Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
1,446 workflow runs
1,446 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Permit re-setting --object-bits CodeQL #5617: Pull request #7858 synchronize by tautschnig
February 13, 2024 11:30 58m 39s tautschnig:features/objects-bits-set-up
tautschnig:features/objects-bits-set-up
February 13, 2024 11:30 58m 39s
Symex guards: avoid unnecessary duplicate negation CodeQL #5616: Pull request #8041 synchronize by tautschnig
February 13, 2024 11:28 54m 42s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
February 13, 2024 11:28 54m 42s
array_set: do not fail upon an invalid (void) pointer CodeQL #5615: Pull request #8202 synchronize by tautschnig
February 13, 2024 11:24 52m 20s tautschnig:bugfixes/array_set
tautschnig:bugfixes/array_set
February 13, 2024 11:24 52m 20s
nondet-volatile: fix handling of enum types CodeQL #5614: Pull request #8203 opened by tautschnig
February 13, 2024 11:13 51m 55s tautschnig:bugfixes/follow-enum-tag
tautschnig:bugfixes/follow-enum-tag
February 13, 2024 11:13 51m 55s
array_set: do not fail upon an invalid (void) pointer CodeQL #5613: Pull request #8202 opened by tautschnig
February 13, 2024 09:32 52m 43s tautschnig:bugfixes/array_set
tautschnig:bugfixes/array_set
February 13, 2024 09:32 52m 43s
C library: model __builtin_powi{,f,l} CodeQL #5612: Pull request #8192 synchronize by tautschnig
February 12, 2024 20:40 53m 49s tautschnig:features/builtin_pow
tautschnig:features/builtin_pow
February 12, 2024 20:40 53m 49s
C library: model __builtin_powi{,f,l} CodeQL #5611: Pull request #8192 synchronize by tautschnig
February 12, 2024 17:07 52m 39s tautschnig:features/builtin_pow
tautschnig:features/builtin_pow
February 12, 2024 17:07 52m 39s
C library: model __builtin_powi{,f,l} CodeQL #5610: Pull request #8192 synchronize by tautschnig
February 12, 2024 16:07 52m 19s tautschnig:features/builtin_pow
tautschnig:features/builtin_pow
February 12, 2024 16:07 52m 19s
Add missing source locations CodeQL #5609: Pull request #7856 synchronize by tautschnig
February 12, 2024 15:49 53m 43s tautschnig:bugfixes/linking-location
tautschnig:bugfixes/linking-location
February 12, 2024 15:49 53m 43s
Add missing source locations CodeQL #5608: Pull request #7856 synchronize by tautschnig
February 9, 2024 14:14 51m 57s tautschnig:bugfixes/linking-location
tautschnig:bugfixes/linking-location
February 9, 2024 14:14 51m 57s
Remove unused goto_convertt::has_function_call CodeQL #5607: Pull request #8201 opened by tautschnig
February 9, 2024 14:06 52m 17s tautschnig:cleanup/has_function_call
tautschnig:cleanup/has_function_call
February 9, 2024 14:06 52m 17s
Add missing source locations CodeQL #5606: Pull request #7856 synchronize by tautschnig
February 9, 2024 13:54 54m 4s tautschnig:bugfixes/linking-location
tautschnig:bugfixes/linking-location
February 9, 2024 13:54 54m 4s
Merge pull request #8195 from tautschnig/bugfixes/math-lib CodeQL #5605: Commit 9c7bccc pushed by tautschnig
February 8, 2024 16:19 53m 18s develop
develop
February 8, 2024 16:19 53m 18s
C library: additional floating-point functions and cleanup CodeQL #5604: Pull request #8195 synchronize by tautschnig
February 8, 2024 14:58 53m 23s tautschnig:bugfixes/math-lib
tautschnig:bugfixes/math-lib
February 8, 2024 14:58 53m 23s
C library: additional floating-point functions and cleanup CodeQL #5603: Pull request #8195 synchronize by tautschnig
February 8, 2024 13:45 52m 37s tautschnig:bugfixes/math-lib
tautschnig:bugfixes/math-lib
February 8, 2024 13:45 52m 37s
Merge pull request #7932 from tautschnig/cleanup/asm-library CodeQL #5602: Commit c81a6a6 pushed by tautschnig
February 8, 2024 10:13 54m 0s develop
develop
February 8, 2024 10:13 54m 0s
Merge pull request #8198 from remi-delmas-3000/fix-missing-braces CodeQL #5601: Commit 718587a pushed by kroening
February 8, 2024 01:39 52m 48s develop
develop
February 8, 2024 01:39 52m 48s
Merge pull request #8197 from tautschnig/fix-gitignore CodeQL #5600: Commit 4eee932 pushed by tautschnig
February 7, 2024 22:38 53m 28s develop
develop
February 7, 2024 22:38 53m 28s
Fix missing braces around initializer GCC warning CodeQL #5599: Pull request #8198 opened by remi-delmas-3000
February 7, 2024 22:22 53m 21s remi-delmas-3000:fix-missing-braces
remi-delmas-3000:fix-missing-braces
February 7, 2024 22:22 53m 21s
Merge pull request #8190 from diffblue/updatebit_exprt CodeQL #5598: Commit aff6268 pushed by kroening
February 7, 2024 21:51 52m 15s develop
develop
February 7, 2024 21:51 52m 15s
Fix gitignore of goto-bmc CodeQL #5597: Pull request #8197 opened by tautschnig
February 7, 2024 21:26 51m 45s tautschnig:fix-gitignore
tautschnig:fix-gitignore
February 7, 2024 21:26 51m 45s
C library: additional floating-point functions and cleanup CodeQL #5596: Pull request #8195 synchronize by tautschnig
February 7, 2024 17:17 52m 41s tautschnig:bugfixes/math-lib
tautschnig:bugfixes/math-lib
February 7, 2024 17:17 52m 41s
C library: additional floating-point functions and cleanup CodeQL #5595: Pull request #8195 synchronize by tautschnig
February 7, 2024 15:07 52m 56s tautschnig:bugfixes/math-lib
tautschnig:bugfixes/math-lib
February 7, 2024 15:07 52m 56s
C library: additional floating-point functions and cleanup CodeQL #5594: Pull request #8195 opened by tautschnig
February 7, 2024 14:44 52m 37s tautschnig:bugfixes/math-lib
tautschnig:bugfixes/math-lib
February 7, 2024 14:44 52m 37s
introduce update_bit_exprt CodeQL #5593: Pull request #8190 synchronize by kroening
February 7, 2024 12:55 52m 49s updatebit_exprt
updatebit_exprt
February 7, 2024 12:55 52m 49s
ProTip! You can narrow down the results and go further in time using created:<2024-02-07 or the other filters available.