Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CONTRACTS: redirect checks to outer write set for loops that get skipped CodeQL #6338: Pull request #8416 synchronize by remi-delmas-3000
August 19, 2024 20:02 31m 1s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 19, 2024 20:02 31m 1s
Maintain loop invariant annotation when converting do .. while CodeQL #6337: Pull request #8417 opened by tautschnig
August 19, 2024 19:04 29m 52s tautschnig:fix-do-while-loop-invariant
tautschnig:fix-do-while-loop-invariant
August 19, 2024 19:04 29m 52s
Merge pull request #8413 from tautschnig/dfcc-no-unnecessary-check CodeQL #6336: Commit b87d38a pushed by tautschnig
August 17, 2024 07:22 51m 52s develop
develop
August 17, 2024 07:22 51m 52s
CONTRACTS: redirect checks to outer write set for loops that get skipped CodeQL #6335: Pull request #8416 synchronize by remi-delmas-3000
August 17, 2024 00:04 46m 51s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 17, 2024 00:04 46m 51s
CONTRACTS: redirect checks to outer write set for loops that get skipped CodeQL #6334: Pull request #8416 opened by remi-delmas-3000
August 16, 2024 23:07 48m 8s remi-delmas-3000:skip-loops
remi-delmas-3000:skip-loops
August 16, 2024 23:07 48m 8s
SMT2 parser with explicit stack CodeQL #6333: Pull request #8415 opened by kroening
August 15, 2024 00:10 32m 30s smt2_parser_with_stack
smt2_parser_with_stack
August 15, 2024 00:10 32m 30s
Contracts (DFCC) regression tests: use CaDiCaL CodeQL #6332: Pull request #8414 opened by tautschnig
August 14, 2024 10:54 33m 38s tautschnig:contracts-dfcc-cadical
tautschnig:contracts-dfcc-cadical
August 14, 2024 10:54 33m 38s
Library functions: mark them as compiled CodeQL #6331: Pull request #8412 synchronize by tautschnig
August 14, 2024 09:48 32m 47s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 14, 2024 09:48 32m 47s
Library functions: mark them as compiled CodeQL #6330: Pull request #8412 synchronize by tautschnig
August 13, 2024 20:43 33m 1s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 13, 2024 20:43 33m 1s
Library functions: mark them as compiled CodeQL #6329: Pull request #8412 synchronize by tautschnig
August 13, 2024 20:11 33m 8s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 13, 2024 20:11 33m 8s
Dynamic frames: do not add trivial properties CodeQL #6328: Pull request #8413 synchronize by tautschnig
August 13, 2024 15:36 33m 35s tautschnig:dfcc-no-unnecessary-check
tautschnig:dfcc-no-unnecessary-check
August 13, 2024 15:36 33m 35s
Dynamic frames: do not add trivial properties CodeQL #6327: Pull request #8413 opened by tautschnig
August 13, 2024 15:25 33m 33s tautschnig:dfcc-no-unnecessary-check
tautschnig:dfcc-no-unnecessary-check
August 13, 2024 15:25 33m 33s
Library functions: mark them as compiled CodeQL #6326: Pull request #8412 opened by tautschnig
August 13, 2024 15:21 33m 2s tautschnig:library-is-compiled
tautschnig:library-is-compiled
August 13, 2024 15:21 33m 2s
Merge pull request #8410 from tautschnig/solver-factory-no-dynamic_cast3 CodeQL #6325: Commit 0760cd7 pushed by kroening
August 8, 2024 01:18 53m 26s develop
develop
August 8, 2024 01:18 53m 26s
Merge pull request #8409 from tautschnig/solver-factory-no-dynamic_cast2 CodeQL #6324: Commit 7db3d8b pushed by kroening
August 7, 2024 18:41 54m 23s develop
develop
August 7, 2024 18:41 54m 23s
Merge pull request #8407 from tautschnig/java-no-dynamic_cast CodeQL #6323: Commit 068d963 pushed by tautschnig
August 7, 2024 18:40 53m 34s develop
develop
August 7, 2024 18:40 53m 34s
Solver factory: make_satcheck_prop does not require dynamic_cast CodeQL #6322: Pull request #8410 opened by tautschnig
August 7, 2024 11:06 32m 42s tautschnig:solver-factory-no-dynamic_cast3
tautschnig:solver-factory-no-dynamic_cast3
August 7, 2024 11:06 32m 42s
Solver factory: set_decision_procedure_time_limit does not require dynamic_cast CodeQL #6321: Pull request #8409 opened by tautschnig
August 7, 2024 10:26 34m 30s tautschnig:solver-factory-no-dynamic_cast2
tautschnig:solver-factory-no-dynamic_cast2
August 7, 2024 10:26 34m 30s
Solver factory: all solvers are stack_decision_proceduret CodeQL #6320: Pull request #8408 opened by tautschnig
August 7, 2024 09:57 35m 36s tautschnig:solver-factory-no-dynamic_cast
tautschnig:solver-factory-no-dynamic_cast
August 7, 2024 09:57 35m 36s
Remove Java's unnecessary languaget::parse peculiarity CodeQL #6319: Pull request #8407 opened by tautschnig
August 7, 2024 07:58 33m 1s tautschnig:java-no-dynamic_cast
tautschnig:java-no-dynamic_cast
August 7, 2024 07:58 33m 1s
Merge pull request #8405 from tautschnig/qualifiers-no-dynamic_cast CodeQL #6318: Commit d635850 pushed by kroening
August 7, 2024 07:46 52m 7s develop
develop
August 7, 2024 07:46 52m 7s
Merge pull request #8406 from tautschnig/dimacs_cnft-no-dynamic_cast CodeQL #6317: Commit f244575 pushed by kroening
August 7, 2024 03:17 54m 42s develop
develop
August 7, 2024 03:17 54m 42s
Remove dynamic_cast from bv_dimacst CodeQL #6316: Pull request #8406 opened by tautschnig
August 6, 2024 20:27 32m 51s tautschnig:dimacs_cnft-no-dynamic_cast
tautschnig:dimacs_cnft-no-dynamic_cast
August 6, 2024 20:27 32m 51s
Remove uses of dynamic_cast from qualifierst hierarchy CodeQL #6315: Pull request #8405 synchronize by tautschnig
August 6, 2024 17:23 33m 26s tautschnig:qualifiers-no-dynamic_cast
tautschnig:qualifiers-no-dynamic_cast
August 6, 2024 17:23 33m 26s
Remove uses of dynamic_cast from qualifierst hierarchy CodeQL #6314: Pull request #8405 opened by tautschnig
August 6, 2024 17:21 6m 27s tautschnig:qualifiers-no-dynamic_cast
tautschnig:qualifiers-no-dynamic_cast
August 6, 2024 17:21 6m 27s
ProTip! You can narrow down the results and go further in time using created:<2024-08-06 or the other filters available.