Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Release CBMC 6.2.0 CodeQL #6388: Pull request #8434 opened by tautschnig
September 2, 2024 18:56 30m 31s tautschnig:release-6.2.0
tautschnig:release-6.2.0
September 2, 2024 18:56 30m 31s
Merge pull request #8400 from tautschnig/bugfixes/smt2-8399 CodeQL #6387: Commit 59674e3 pushed by tautschnig
September 2, 2024 17:51 51m 46s develop
develop
September 2, 2024 17:51 51m 46s
add documentation of default for --max-nondet-array-length, see #8428 CodeQL #6386: Pull request #8432 opened by lks9
August 30, 2024 15:10 35m 56s lks9:doc_8428
lks9:doc_8428
August 30, 2024 15:10 35m 56s
Annotate loop unwinding bounds via pragma CodeQL #6385: Pull request #8431 opened by tautschnig
August 29, 2024 16:22 47m 59s tautschnig:pragma-for-loop-unwind
tautschnig:pragma-for-loop-unwind
August 29, 2024 16:22 47m 59s
Contracts: remove bound-var-rewrite CodeQL #6384: Pull request #8430 opened by tautschnig
August 29, 2024 14:17 30m 33s tautschnig:no-bound-var-rewrite
tautschnig:no-bound-var-rewrite
August 29, 2024 14:17 30m 33s
Merge pull request #8426 from ismaell/missing-cstdint CodeQL #6383: Commit c193c27 pushed by tautschnig
August 26, 2024 14:10 51m 50s develop
develop
August 26, 2024 14:10 51m 50s
Include <cstdint> for int64_t CodeQL #6382: Pull request #8426 synchronize by ismaell
August 26, 2024 12:51 33m 10s ismaell:missing-cstdint
ismaell:missing-cstdint
August 26, 2024 12:51 33m 10s
Include <cstdint> for int64_t CodeQL #6381: Pull request #8426 opened by ismaell
August 23, 2024 21:18 33m 38s ismaell:missing-cstdint
ismaell:missing-cstdint
August 23, 2024 21:18 33m 38s
Automatically produce a CBMC release twice per month CodeQL #6380: Pull request #8425 opened by tautschnig
August 23, 2024 11:29 29m 25s tautschnig:auto-release
tautschnig:auto-release
August 23, 2024 11:29 29m 25s
Automatically create release tags via GitHub actions CodeQL #6379: Pull request #8424 opened by tautschnig
August 23, 2024 10:00 29m 54s tautschnig:release-tagging
tautschnig:release-tagging
August 23, 2024 10:00 29m 54s
Remove dynamic_cast from hardness collection code paths CodeQL #6378: Pull request #8423 synchronize by tautschnig
August 22, 2024 19:19 33m 25s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
August 22, 2024 19:19 33m 25s
CI: add macos-14 (macOS on M1) job CodeQL #6377: Pull request #8382 synchronize by tautschnig
August 22, 2024 18:10 30m 12s tautschnig:macos-14
tautschnig:macos-14
August 22, 2024 18:10 30m 12s
Remove dynamic_cast from hardness collection code paths CodeQL #6376: Pull request #8423 synchronize by tautschnig
August 22, 2024 18:02 35m 25s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
August 22, 2024 18:02 35m 25s
Remove dynamic_cast from hardness collection code paths CodeQL #6375: Pull request #8423 synchronize by tautschnig
August 22, 2024 15:05 33m 31s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
August 22, 2024 15:05 33m 31s
Remove dynamic_cast from hardness collection code paths CodeQL #6374: Pull request #8423 synchronize by tautschnig
August 22, 2024 14:59 33m 29s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
August 22, 2024 14:59 33m 29s
Remove dynamic_cast from hardness collection code paths CodeQL #6373: Pull request #8423 opened by tautschnig
August 22, 2024 14:52 34m 27s tautschnig:hardness-no-dynamic_cast
tautschnig:hardness-no-dynamic_cast
August 22, 2024 14:52 34m 27s
Merge pull request #8421 from tautschnig/no-boolbv-dynamic_cast CodeQL #6372: Commit 6752c40 pushed by kroening
August 21, 2024 23:33 50m 57s develop
develop
August 21, 2024 23:33 50m 57s
Merge pull request #8420 from remi-delmas-3000/contracts-fix-do-while… CodeQL #6371: Commit b21323f pushed by tautschnig
August 21, 2024 10:50 51m 34s develop
develop
August 21, 2024 10:50 51m 34s
CI: Use CaDiCaL on Windows CodeQL #6370: Pull request #8422 synchronize by tautschnig
August 21, 2024 09:44 31m 23s tautschnig:win-ci-use-cadical
tautschnig:win-ci-use-cadical
August 21, 2024 09:44 31m 23s
CI: Use CaDiCaL on Windows CodeQL #6369: Pull request #8422 synchronize by tautschnig
August 21, 2024 09:31 30m 50s tautschnig:win-ci-use-cadical
tautschnig:win-ci-use-cadical
August 21, 2024 09:31 30m 50s
CONTRACTS: fix do while latch CodeQL #6368: Pull request #8420 synchronize by tautschnig
August 21, 2024 08:59 33m 40s remi-delmas-3000:contracts-fix-do-while-latch
remi-delmas-3000:contracts-fix-do-while-latch
August 21, 2024 08:59 33m 40s
CI: Use CaDiCaL on Windows CodeQL #6367: Pull request #8422 opened by tautschnig
August 21, 2024 08:59 31m 14s tautschnig:win-ci-use-cadical
tautschnig:win-ci-use-cadical
August 21, 2024 08:59 31m 14s
Merge pull request #8416 from remi-delmas-3000/skip-loops CodeQL #6366: Commit dae5af0 pushed by tautschnig
August 21, 2024 08:54 51m 25s develop
develop
August 21, 2024 08:54 51m 25s
CONTRACTS: redirect checks to outer write set for loops that get skipped CodeQL #6365: Pull request #8416 synchronize by tautschnig
August 21, 2024 08:04 30m 14s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 21, 2024 08:04 30m 14s
Merge pull request #8417 from tautschnig/fix-do-while-loop-invariant CodeQL #6364: Commit 2bef701 pushed by tautschnig
August 21, 2024 08:02 50m 29s develop
develop
August 21, 2024 08:02 50m 29s
ProTip! You can narrow down the results and go further in time using created:<2024-08-21 or the other filters available.