Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Run performance comparison in CI using Kani's Benchcomp CodeQL #5515: Pull request #8171 synchronize by tautschnig
January 26, 2024 06:15 52m 32s tautschnig:features/benchcomp
tautschnig:features/benchcomp
January 26, 2024 06:15 52m 32s
Merge pull request #8170 from tautschnig/bugfixes/gcc-shufflevector CodeQL #5514: Commit 270e82c pushed by tautschnig
January 26, 2024 06:12 52m 51s develop
develop
January 26, 2024 06:12 52m 51s
Run performance comparison in CI using Kani's Benchcomp CodeQL #5513: Pull request #8171 synchronize by tautschnig
January 25, 2024 15:00 52m 0s tautschnig:features/benchcomp
tautschnig:features/benchcomp
January 25, 2024 15:00 52m 0s
Run performance comparison in CI using Kani's Benchcomp CodeQL #5512: Pull request #8171 synchronize by tautschnig
January 25, 2024 14:55 52m 28s tautschnig:features/benchcomp
tautschnig:features/benchcomp
January 25, 2024 14:55 52m 28s
C front-end: GCC >= 12 support __builtin_shufflevector CodeQL #5511: Pull request #8170 synchronize by tautschnig
January 25, 2024 14:09 53m 5s tautschnig:bugfixes/gcc-shufflevector
tautschnig:bugfixes/gcc-shufflevector
January 25, 2024 14:09 53m 5s
Run performance comparison in CI using Kani's Benchcomp CodeQL #5510: Pull request #8171 opened by tautschnig
January 25, 2024 13:58 52m 52s tautschnig:features/benchcomp
tautschnig:features/benchcomp
January 25, 2024 13:58 52m 52s
C/C++ front-end: accept all floating-point extensions that GCC and Clang support CodeQL #5509: Pull request #8169 synchronize by tautschnig
January 25, 2024 12:40 54m 47s tautschnig:bugfixes/float-extensions
tautschnig:bugfixes/float-extensions
January 25, 2024 12:40 54m 47s
C/C++ front-end: accept all floating-point extensions that GCC and Clang support CodeQL #5508: Pull request #8169 synchronize by tautschnig
January 25, 2024 11:51 52m 53s tautschnig:bugfixes/float-extensions
tautschnig:bugfixes/float-extensions
January 25, 2024 11:51 52m 53s
C front-end: GCC >= 12 support __builtin_shufflevector CodeQL #5507: Pull request #8170 opened by tautschnig
January 25, 2024 11:31 52m 12s tautschnig:bugfixes/gcc-shufflevector
tautschnig:bugfixes/gcc-shufflevector
January 25, 2024 11:31 52m 12s
C/C++ front-end: accept all floating-point extensions that GCC and Clang support CodeQL #5506: Pull request #8169 opened by tautschnig
January 25, 2024 11:21 52m 44s tautschnig:bugfixes/float-extensions
tautschnig:bugfixes/float-extensions
January 25, 2024 11:21 52m 44s
Merge pull request #8167 from tautschnig/bugfixes/linking-rename-local CodeQL #5505: Commit 5bce1c3 pushed by tautschnig
January 24, 2024 20:06 55m 4s develop
develop
January 24, 2024 20:06 55m 4s
Declutter linking implementation CodeQL #5504: Pull request #8168 opened by tautschnig
January 24, 2024 13:58 52m 46s tautschnig:cleanup/linking-cleanup
tautschnig:cleanup/linking-cleanup
January 24, 2024 13:58 52m 46s
C library: ASM functions take void* pointers CodeQL #5503: Pull request #7932 synchronize by tautschnig
January 24, 2024 12:47 54m 1s tautschnig:cleanup/asm-library
tautschnig:cleanup/asm-library
January 24, 2024 12:47 54m 1s
Merge pull request #8095 from tautschnig/bugfixes/contracts-loop-norm… CodeQL #5502: Commit 19fc213 pushed by tautschnig
January 23, 2024 15:30 55m 19s develop
develop
January 23, 2024 15:30 55m 19s
Linking: only rename file-local symbols CodeQL #5501: Pull request #8167 opened by tautschnig
January 23, 2024 15:29 53m 52s tautschnig:bugfixes/linking-rename-local
tautschnig:bugfixes/linking-rename-local
January 23, 2024 15:29 53m 52s
Merge pull request #8160 from tautschnig/bugfixes/no-duplicate-decl CodeQL #5500: Commit c266ea3 pushed by tautschnig
January 23, 2024 12:59 54m 44s develop
develop
January 23, 2024 12:59 54m 44s
Code contracts: do not interleave checking and instrumenting CodeQL #5499: Pull request #8095 synchronize by tautschnig
January 23, 2024 11:56 54m 5s tautschnig:bugfixes/contracts-loop-normalisation
tautschnig:bugfixes/contracts-loop-normalisation
January 23, 2024 11:56 54m 5s
Code contracts: do not interleave checking and instrumenting CodeQL #5498: Pull request #8095 synchronize by tautschnig
January 23, 2024 11:52 53m 7s tautschnig:bugfixes/contracts-loop-normalisation
tautschnig:bugfixes/contracts-loop-normalisation
January 23, 2024 11:52 53m 7s
C front-end: refuse duplicate declaration of local variable CodeQL #5497: Pull request #8160 synchronize by tautschnig
January 23, 2024 11:51 52m 25s tautschnig:bugfixes/no-duplicate-decl
tautschnig:bugfixes/no-duplicate-decl
January 23, 2024 11:51 52m 25s
C front-end: refuse duplicate declaration of local variable CodeQL #5496: Pull request #8160 synchronize by tautschnig
January 23, 2024 11:26 52m 46s tautschnig:bugfixes/no-duplicate-decl
tautschnig:bugfixes/no-duplicate-decl
January 23, 2024 11:26 52m 46s
C front-end: refuse duplicate declaration of local variable CodeQL #5495: Pull request #8160 synchronize by tautschnig
January 23, 2024 11:04 52m 30s tautschnig:bugfixes/no-duplicate-decl
tautschnig:bugfixes/no-duplicate-decl
January 23, 2024 11:04 52m 30s
C front-end: refuse duplicate declaration of local variable CodeQL #5494: Pull request #8160 synchronize by tautschnig
January 23, 2024 10:52 53m 28s tautschnig:bugfixes/no-duplicate-decl
tautschnig:bugfixes/no-duplicate-decl
January 23, 2024 10:52 53m 28s
Introduce bitst and bytest to avoid bit/byte mix-up CodeQL #5493: Pull request #7413 synchronize by tautschnig
January 23, 2024 10:46 52m 29s tautschnig:feature/bits-bytes
tautschnig:feature/bits-bytes
January 23, 2024 10:46 52m 29s
C front-end: refuse duplicate declaration of local variable CodeQL #5492: Pull request #8160 synchronize by tautschnig
January 23, 2024 10:33 53m 38s tautschnig:bugfixes/no-duplicate-decl
tautschnig:bugfixes/no-duplicate-decl
January 23, 2024 10:33 53m 38s
Merge pull request #8166 from tautschnig/bugfixes/codeowners CodeQL #5491: Commit 79fafbe pushed by kroening
January 22, 2024 18:36 53m 52s develop
develop
January 22, 2024 18:36 53m 52s
ProTip! You can narrow down the results and go further in time using created:<2024-01-22 or the other filters available.