Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Promote set_all_frozen to decision_proceduret to remove a dynamic_cast CodeQL #6313: Pull request #8404 opened by tautschnig
August 6, 2024 17:20 35m 27s tautschnig:freeze-no-dynamic_cast
tautschnig:freeze-no-dynamic_cast
August 6, 2024 17:20 35m 27s
Merge pull request #8403 from tautschnig/fix-dfcc-typedef CodeQL #6312: Commit 5ef19c8 pushed by feliperodri
August 6, 2024 16:02 53m 58s develop
develop
August 6, 2024 16:02 53m 58s
Contracts/dynamic frames: do not attempt to instrument typedefs CodeQL #6311: Pull request #8403 opened by tautschnig
August 6, 2024 12:57 32m 37s tautschnig:fix-dfcc-typedef
tautschnig:fix-dfcc-typedef
August 6, 2024 12:57 32m 37s
SMT2 back-end: fix inconsistent array flattening CodeQL #6310: Pull request #8400 synchronize by tautschnig
August 1, 2024 10:50 35m 46s tautschnig:bugfixes/smt2-8399
tautschnig:bugfixes/smt2-8399
August 1, 2024 10:50 35m 46s
SMT2 back-end: fix inconsistent array flattening CodeQL #6309: Pull request #8400 opened by tautschnig
July 30, 2024 20:54 33m 15s tautschnig:bugfixes/smt2-8399
tautschnig:bugfixes/smt2-8399
July 30, 2024 20:54 33m 15s
Merge pull request #8398 from tautschnig/release-6.1.1 CodeQL #6308: Commit b335979 pushed by tautschnig
July 29, 2024 13:22 54m 57s develop
develop
July 29, 2024 13:22 54m 57s
Release CBMC 6.1.1 CodeQL #6307: Pull request #8398 opened by tautschnig
July 29, 2024 11:20 33m 16s tautschnig:release-6.1.1
tautschnig:release-6.1.1
July 29, 2024 11:20 33m 16s
Merge pull request #8397 from tautschnig/cadical-NDEBUG CodeQL #6306: Commit ffbd3eb pushed by tautschnig
July 29, 2024 10:31 54m 49s develop
develop
July 29, 2024 10:31 54m 49s
Compile CaDiCaL with -DNDEBUG CodeQL #6305: Pull request #8397 synchronize by tautschnig
July 29, 2024 09:37 33m 7s tautschnig:cadical-NDEBUG
tautschnig:cadical-NDEBUG
July 29, 2024 09:37 33m 7s
Compile CaDiCaL with -DNDEBUG CodeQL #6304: Pull request #8397 synchronize by tautschnig
July 29, 2024 08:34 33m 3s tautschnig:cadical-NDEBUG
tautschnig:cadical-NDEBUG
July 29, 2024 08:34 33m 3s
Compile CaDiCaL with -DNDEBUG CodeQL #6303: Pull request #8397 synchronize by tautschnig
July 29, 2024 07:39 35m 11s tautschnig:cadical-NDEBUG
tautschnig:cadical-NDEBUG
July 29, 2024 07:39 35m 11s
Compile CaDiCaL with -DNDEBUG CodeQL #6302: Pull request #8397 synchronize by tautschnig
July 29, 2024 07:19 32m 55s tautschnig:cadical-NDEBUG
tautschnig:cadical-NDEBUG
July 29, 2024 07:19 32m 55s
Merge pull request #8396 from diffblue/range-add-sub CodeQL #6301: Commit 9dbbada pushed by tautschnig
July 26, 2024 21:11 55m 3s develop
develop
July 26, 2024 21:11 55m 3s
Compile CaDiCaL with -DNDEBUG CodeQL #6300: Pull request #8397 opened by tautschnig
July 26, 2024 21:10 51m 7s tautschnig:cadical-NDEBUG
tautschnig:cadical-NDEBUG
July 26, 2024 21:10 51m 7s
implement flattening for +/- for the range type CodeQL #6299: Pull request #8396 opened by kroening
July 26, 2024 19:19 50m 29s range-add-sub
range-add-sub
July 26, 2024 19:19 50m 29s
Don't generate unnecessary fresh symbols for the GOTO trace CodeQL #6298: Pull request #7021 synchronize by tautschnig
July 24, 2024 14:36 33m 52s tautschnig:cleanup/no-unnecessry-fresh-symbols
tautschnig:cleanup/no-unnecessry-fresh-symbols
July 24, 2024 14:36 33m 52s
Use propt::lcnf when cnf_handled_well is true CodeQL #6297: Pull request #7402 synchronize by tautschnig
July 24, 2024 14:34 33m 47s tautschnig:feature/use-lcnf
tautschnig:feature/use-lcnf
July 24, 2024 14:34 33m 47s
CI: add macos-14 (macOS on M1) job CodeQL #6296: Pull request #8382 synchronize by tautschnig
July 24, 2024 13:18 33m 54s tautschnig:macos-14
tautschnig:macos-14
July 24, 2024 13:18 33m 54s
Merge pull request #8383 from tautschnig/upgrade-cvc5 CodeQL #6295: Commit bf58af8 pushed by tautschnig
July 24, 2024 12:55 55m 51s develop
develop
July 24, 2024 12:55 55m 51s
Merge pull request #8395 from tautschnig/benchcomp-ci-fix CodeQL #6294: Commit 3a0d39b pushed by tautschnig
July 24, 2024 12:55 55m 41s develop
develop
July 24, 2024 12:55 55m 41s
Enable higher verbosity for benchmarking CodeQL #6293: Pull request #8395 opened by tautschnig
July 24, 2024 10:32 32m 15s tautschnig:benchcomp-ci-fix
tautschnig:benchcomp-ci-fix
July 24, 2024 10:32 32m 15s
Merge pull request #8394 from tautschnig/release-6.1.0 CodeQL #6292: Commit 737d582 pushed by tautschnig
July 22, 2024 17:38 55m 33s develop
develop
July 22, 2024 17:38 55m 33s
Release CBMC version 6.1.0 CodeQL #6291: Pull request #8394 synchronize by tautschnig
July 22, 2024 10:24 34m 33s tautschnig:release-6.1.0
tautschnig:release-6.1.0
July 22, 2024 10:24 34m 33s
Merge pull request #8363 from tautschnig/temporaries-minimal-scope CodeQL #6290: Commit 3208438 pushed by tautschnig
July 22, 2024 10:22 54m 31s develop
develop
July 22, 2024 10:22 54m 31s
Merge pull request #8360 from qinheping/feature/check_side_effect_dur… CodeQL #6289: Commit 6c2d7cc pushed by qinheping
July 22, 2024 09:27 53m 54s develop
develop
July 22, 2024 09:27 53m 54s
ProTip! You can narrow down the results and go further in time using created:<2024-07-22 or the other filters available.