Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
CONTRACTS: fix do while latch CodeQL #6363: Pull request #8420 synchronize by tautschnig
August 21, 2024 07:39 29m 34s remi-delmas-3000:contracts-fix-do-while-latch
remi-delmas-3000:contracts-fix-do-while-latch
August 21, 2024 07:39 29m 34s
Remove dynamic_cast from counterexample beautification code path CodeQL #6362: Pull request #8421 synchronize by tautschnig
August 21, 2024 07:17 32m 2s tautschnig:no-boolbv-dynamic_cast
tautschnig:no-boolbv-dynamic_cast
August 21, 2024 07:17 32m 2s
Maintain loop invariant annotation when converting do .. while CodeQL #6361: Pull request #8417 synchronize by tautschnig
August 21, 2024 07:15 30m 18s tautschnig:fix-do-while-loop-invariant
tautschnig:fix-do-while-loop-invariant
August 21, 2024 07:15 30m 18s
Merge pull request #8412 from tautschnig/library-is-compiled CodeQL #6360: Commit 89a0470 pushed by tautschnig
August 20, 2024 21:49 58m 12s develop
develop
August 20, 2024 21:49 58m 12s
Merge pull request #8414 from tautschnig/contracts-dfcc-cadical CodeQL #6359: Commit a395044 pushed by tautschnig
August 20, 2024 21:48 51m 55s develop
develop
August 20, 2024 21:48 51m 55s
CONTRACTS: redirect checks to outer write set for loops that get skipped CodeQL #6358: Pull request #8416 synchronize by remi-delmas-3000
August 20, 2024 21:47 30m 45s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 20, 2024 21:47 30m 45s
CONTRACTS: fix do while latch CodeQL #6357: Pull request #8420 synchronize by remi-delmas-3000
August 20, 2024 21:19 37m 41s remi-delmas-3000:contracts-fix-do-while-latch
remi-delmas-3000:contracts-fix-do-while-latch
August 20, 2024 21:19 37m 41s
Merge pull request #8419 from tautschnig/expr2c-no-dynamic_cast CodeQL #6356: Commit d69e0d2 pushed by tautschnig
August 20, 2024 21:14 53m 40s develop
develop
August 20, 2024 21:14 53m 40s
CONTRACTS: redirect checks to outer write set for loops that get skipped CodeQL #6355: Pull request #8416 synchronize by remi-delmas-3000
August 20, 2024 21:13 30m 11s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 20, 2024 21:13 30m 11s
Remove dynamic_cast from counterexample beautification code path CodeQL #6354: Pull request #8421 opened by tautschnig
August 20, 2024 21:00 31m 8s tautschnig:no-boolbv-dynamic_cast
tautschnig:no-boolbv-dynamic_cast
August 20, 2024 21:00 31m 8s
CONTRACTS: fix do while latch CodeQL #6353: Pull request #8420 synchronize by remi-delmas-3000
August 20, 2024 20:47 30m 1s remi-delmas-3000:contracts-fix-do-while-latch
remi-delmas-3000:contracts-fix-do-while-latch
August 20, 2024 20:47 30m 1s
CONTRACTS: fix do while latch CodeQL #6352: Pull request #8420 opened by remi-delmas-3000
August 20, 2024 20:38 30m 52s remi-delmas-3000:contracts-fix-do-while-latch
remi-delmas-3000:contracts-fix-do-while-latch
August 20, 2024 20:38 30m 52s
Remove qualifierst CodeQL #6351: Pull request #8419 synchronize by tautschnig
August 20, 2024 11:40 31m 19s tautschnig:expr2c-no-dynamic_cast
tautschnig:expr2c-no-dynamic_cast
August 20, 2024 11:40 31m 19s
Remove qualifierst CodeQL #6350: Pull request #8419 synchronize by tautschnig
August 20, 2024 10:56 33m 20s tautschnig:expr2c-no-dynamic_cast
tautschnig:expr2c-no-dynamic_cast
August 20, 2024 10:56 33m 20s
Promote set_all_frozen to decision_proceduret to remove a dynamic_cast CodeQL #6349: Pull request #8404 synchronize by tautschnig
August 20, 2024 10:54 33m 46s tautschnig:freeze-no-dynamic_cast
tautschnig:freeze-no-dynamic_cast
August 20, 2024 10:54 33m 46s
Remove qualifierst CodeQL #6348: Pull request #8419 opened by tautschnig
August 20, 2024 10:52 30m 32s tautschnig:expr2c-no-dynamic_cast
tautschnig:expr2c-no-dynamic_cast
August 20, 2024 10:52 30m 32s
jbmc, janalyzer: Remove unnecessary dynamic_cast CodeQL #6347: Pull request #8418 synchronize by tautschnig
August 20, 2024 09:57 31m 58s tautschnig:lazy_goto_model-no-dynamic_cast
tautschnig:lazy_goto_model-no-dynamic_cast
August 20, 2024 09:57 31m 58s
jbmc, janalyzer: Remove unnecessary dynamic_cast CodeQL #6346: Pull request #8418 synchronize by tautschnig
August 20, 2024 09:28 15m 10s tautschnig:lazy_goto_model-no-dynamic_cast
tautschnig:lazy_goto_model-no-dynamic_cast
August 20, 2024 09:28 15m 10s
Merge pull request #8408 from tautschnig/solver-factory-no-dynamic_cast CodeQL #6345: Commit 3877e0f pushed by tautschnig
August 20, 2024 09:26 52m 8s develop
develop
August 20, 2024 09:26 52m 8s
jbmc, janalyzer: Remove unnecessary dynamic_cast CodeQL #6344: Pull request #8418 opened by tautschnig
August 20, 2024 09:19 14m 15s tautschnig:lazy_goto_model-no-dynamic_cast
tautschnig:lazy_goto_model-no-dynamic_cast
August 20, 2024 09:19 14m 15s
Solver factory: all solvers are stack_decision_proceduret CodeQL #6343: Pull request #8408 synchronize by tautschnig
August 20, 2024 08:23 31m 0s tautschnig:solver-factory-no-dynamic_cast
tautschnig:solver-factory-no-dynamic_cast
August 20, 2024 08:23 31m 0s
Library functions: mark them as compiled CodeQL #6342: Pull request #8412 synchronize by tautschnig
August 20, 2024 08:21 32m 4s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 20, 2024 08:21 32m 4s
Maintain loop invariant annotation when converting do .. while CodeQL #6341: Pull request #8417 synchronize by tautschnig
August 20, 2024 08:16 30m 43s tautschnig:fix-do-while-loop-invariant
tautschnig:fix-do-while-loop-invariant
August 20, 2024 08:16 30m 43s
Maintain loop invariant annotation when converting do .. while CodeQL #6340: Pull request #8417 synchronize by tautschnig
August 20, 2024 07:55 31m 7s tautschnig:fix-do-while-loop-invariant
tautschnig:fix-do-while-loop-invariant
August 20, 2024 07:55 31m 7s
ProTip! You can narrow down the results and go further in time using created:<2024-08-20 or the other filters available.