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

Make exprt::with_source_location type safe CodeQL #5646: Pull request #8216 opened by tautschnig
February 21, 2024 17:52 52m 1s tautschnig:cleanup/expr-with-source-location
tautschnig:cleanup/expr-with-source-location
February 21, 2024 17:52 52m 1s
Merge pull request #8213 from tautschnig/cleanup/no-64bit CodeQL #5645: Commit 47a62f6 pushed by tautschnig
February 21, 2024 12:13 56m 2s develop
develop
February 21, 2024 12:13 56m 2s
Merge pull request #8192 from tautschnig/features/builtin_pow CodeQL #5642: Commit 4cb0a63 pushed by tautschnig
February 21, 2024 08:40 53m 0s develop
develop
February 21, 2024 08:40 53m 0s
Merge pull request #8209 from tautschnig/cleanup/deprecate-follow CodeQL #5641: Commit 2d07351 pushed by kroening
February 20, 2024 13:41 53m 26s develop
develop
February 20, 2024 13:41 53m 26s
analyses: Replace uses of namespacet::follow CodeQL #5640: Pull request #8215 opened by tautschnig
February 20, 2024 12:55 54m 10s tautschnig:cleanup/no-follow-analyses
tautschnig:cleanup/no-follow-analyses
February 20, 2024 12:55 54m 10s
Merge pull request #8212 from tautschnig/bugfixes/unsigned-char CodeQL #5639: Commit 7da6665 pushed by kroening
February 20, 2024 12:40 54m 45s develop
develop
February 20, 2024 12:40 54m 45s
Make regression tests work when cvc5 is not available CodeQL #5638: Pull request #8214 opened by tautschnig
February 20, 2024 10:49 1h 1m 57s tautschnig:bugfixes/portability
tautschnig:bugfixes/portability
February 20, 2024 10:49 1h 1m 57s
Avoid 64-bit platform support requirement for running tests CodeQL #5637: Pull request #8213 opened by tautschnig
February 20, 2024 10:43 54m 3s tautschnig:cleanup/no-64bit
tautschnig:cleanup/no-64bit
February 20, 2024 10:43 54m 3s
Make tests pass when char is unsigned CodeQL #5636: Pull request #8212 opened by tautschnig
February 20, 2024 10:41 52m 7s tautschnig:bugfixes/unsigned-char
tautschnig:bugfixes/unsigned-char
February 20, 2024 10:41 52m 7s
Add support for GNU Hurd CodeQL #5635: Pull request #8211 opened by tautschnig
February 20, 2024 10:38 53m 0s tautschnig:features/hurd
tautschnig:features/hurd
February 20, 2024 10:38 53m 0s
JBMC: Replace uses of namespacet::follow CodeQL #5634: Pull request #8210 synchronize by tautschnig
February 19, 2024 16:41 57m 12s tautschnig:cleanup/no-follow-jbmc
tautschnig:cleanup/no-follow-jbmc
February 19, 2024 16:41 57m 12s
JBMC: Replace uses of namespacet::follow CodeQL #5633: Pull request #8210 opened by tautschnig
February 19, 2024 16:39 54m 34s tautschnig:cleanup/no-follow-jbmc
tautschnig:cleanup/no-follow-jbmc
February 19, 2024 16:39 54m 34s
Deprecate namespacet::follow CodeQL #5632: Pull request #8209 opened by tautschnig
February 19, 2024 16:38 53m 6s tautschnig:cleanup/deprecate-follow
tautschnig:cleanup/deprecate-follow
February 19, 2024 16:38 53m 6s
nondet-volatile: fix handling of enum types CodeQL #5631: Pull request #8203 synchronize by tautschnig
February 19, 2024 15:03 54m 24s tautschnig:bugfixes/follow-enum-tag
tautschnig:bugfixes/follow-enum-tag
February 19, 2024 15:03 54m 24s
Support comparing arrays of non-constant size with array_equal CodeQL #5630: Pull request #8208 opened by tautschnig
February 16, 2024 21:00 53m 45s tautschnig:bugfixes/8176-array_equal
tautschnig:bugfixes/8176-array_equal
February 16, 2024 21:00 53m 45s
Merge pull request #8206 from tautschnig/cleanup/32-bit-preproc CodeQL #5629: Commit 1939544 pushed by tautschnig
February 15, 2024 19:08 55m 54s develop
develop
February 15, 2024 19:08 55m 54s
Avoid cross-platform preprocessor need from test CodeQL #5628: Pull request #8206 opened by tautschnig
February 14, 2024 18:47 53m 4s tautschnig:cleanup/32-bit-preproc
tautschnig:cleanup/32-bit-preproc
February 14, 2024 18:47 53m 4s
Improve printf formatter CodeQL #5627: Pull request #8205 synchronize by tautschnig
February 14, 2024 15:57 53m 46s tautschnig:bugfixes/printf
tautschnig:bugfixes/printf
February 14, 2024 15:57 53m 46s
Improve printf formatter CodeQL #5626: Pull request #8205 synchronize by tautschnig
February 14, 2024 15:31 54m 3s tautschnig:bugfixes/printf
tautschnig:bugfixes/printf
February 14, 2024 15:31 54m 3s
Improve printf formatter CodeQL #5625: Pull request #8205 opened by tautschnig
February 14, 2024 15:27 53m 28s tautschnig:bugfixes/printf
tautschnig:bugfixes/printf
February 14, 2024 15:27 53m 28s
Permit re-setting --object-bits CodeQL #5624: Pull request #7858 synchronize by tautschnig
February 14, 2024 11:42 53m 18s tautschnig:features/objects-bits-set-up
tautschnig:features/objects-bits-set-up
February 14, 2024 11:42 53m 18s
nondet-volatile: fix handling of enum types CodeQL #5621: Pull request #8203 synchronize by tautschnig
February 13, 2024 12:56 54m 21s tautschnig:bugfixes/follow-enum-tag
tautschnig:bugfixes/follow-enum-tag
February 13, 2024 12:56 54m 21s
Merge pull request #8202 from tautschnig/bugfixes/array_set CodeQL #5620: Commit 1590a31 pushed by tautschnig
February 13, 2024 12:55 52m 31s develop
develop
February 13, 2024 12:55 52m 31s
nondet-volatile: fix handling of enum types CodeQL #5619: Pull request #8203 synchronize by tautschnig
February 13, 2024 11:48 1h 19m 41s tautschnig:bugfixes/follow-enum-tag
tautschnig:bugfixes/follow-enum-tag
February 13, 2024 11:48 1h 19m 41s
Variadic args/va_arg: handle unexpected va_list types CodeQL #5618: Pull request #7711 synchronize by tautschnig
February 13, 2024 11:31 1h 24m 9s tautschnig:bugfixes/7706-va-start
tautschnig:bugfixes/7706-va-start
February 13, 2024 11:31 1h 24m 9s
ProTip! You can narrow down the results and go further in time using created:<2024-02-13 or the other filters available.