Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Run performance comparison in CI using Kani's Benchcomp CodeQL #5567: Pull request #8171 synchronize by tautschnig
February 6, 2024 09:20 52m 8s tautschnig:features/benchcomp
tautschnig:features/benchcomp
February 6, 2024 09:20 52m 8s
C/C++ front-end: accept all floating-point extensions that GCC and Clang support CodeQL #5566: Pull request #8169 synchronize by tautschnig
February 5, 2024 21:55 52m 50s tautschnig:bugfixes/float-extensions
tautschnig:bugfixes/float-extensions
February 5, 2024 21:55 52m 50s
Merge pull request #8154 from tautschnig/cleanup/remove_use_std_string CodeQL #5565: Commit 2d96b83 pushed by tautschnig
February 5, 2024 21:48 52m 50s develop
develop
February 5, 2024 21:48 52m 50s
C/C++ front-end: accept all floating-point extensions that GCC and Clang support CodeQL #5564: Pull request #8169 synchronize by tautschnig
February 5, 2024 20:06 52m 52s tautschnig:bugfixes/float-extensions
tautschnig:bugfixes/float-extensions
February 5, 2024 20:06 52m 52s
Merge pull request #8179 from tautschnig/bugfixes/full-slicing-update CodeQL #5563: Commit 2d1c1a3 pushed by tautschnig
February 5, 2024 18:15 57m 28s develop
develop
February 5, 2024 18:15 57m 28s
Merge pull request #8107 from tautschnig/bugfixes/minisat-versions-l_… CodeQL #5562: Commit da165a1 pushed by tautschnig
February 5, 2024 18:14 54m 54s develop
develop
February 5, 2024 18:14 54m 54s
SMT2: simplify interface CodeQL #5561: Pull request #8123 synchronize by kroening
February 5, 2024 17:51 51m 51s smt2-assumptions
smt2-assumptions
February 5, 2024 17:51 51m 51s
Merge pull request #8180 from diffblue/smt2-extractbit CodeQL #5560: Commit 12660ce pushed by kroening
February 5, 2024 17:46 52m 45s develop
develop
February 5, 2024 17:46 52m 45s
Merge pull request #8182 from diffblue/update_bits_exprt CodeQL #5559: Commit e8728fc pushed by kroening
February 5, 2024 17:46 53m 7s develop
develop
February 5, 2024 17:46 53m 7s
ansi_c_parsert: construct with message handler CodeQL #5558: Pull request #8141 synchronize by tautschnig
February 5, 2024 14:34 53m 6s tautschnig:cleanup/ansi_c_parsert
tautschnig:cleanup/ansi_c_parsert
February 5, 2024 14:34 53m 6s
update_bits_exprt CodeQL #5557: Pull request #8182 synchronize by kroening
February 5, 2024 14:33 52m 36s update_bits_exprt
update_bits_exprt
February 5, 2024 14:33 52m 36s
Merge pull request #8184 from diffblue/dependabot/github_actions/micr… CodeQL #5556: Commit e18fead pushed by tautschnig
February 5, 2024 14:13 53m 27s develop
develop
February 5, 2024 14:13 53m 27s
Bump microsoft/setup-msbuild from 1 to 2 CodeQL #5555: Pull request #8184 opened by dependabot bot
February 5, 2024 00:15 52m 58s dependabot/github_actions/microsoft/setup-msbuild-2
dependabot/github_actions/microsoft/setup-msbuild-2
February 5, 2024 00:15 52m 58s
Bump codecov/codecov-action from 3 to 4 CodeQL #5554: Pull request #8183 opened by dependabot bot
February 5, 2024 00:15 54m 35s dependabot/github_actions/codecov/codecov-action-4
dependabot/github_actions/codecov/codecov-action-4
February 5, 2024 00:15 54m 35s
update_bits_exprt CodeQL #5553: Pull request #8182 synchronize by kroening
February 4, 2024 19:56 54m 7s update_bits_exprt
update_bits_exprt
February 4, 2024 19:56 54m 7s
update_bits_exprt CodeQL #5552: Pull request #8182 synchronize by kroening
February 4, 2024 19:53 52m 2s update_bits_exprt
update_bits_exprt
February 4, 2024 19:53 52m 2s
update_bits_exprt CodeQL #5551: Pull request #8182 synchronize by kroening
February 4, 2024 17:25 51m 50s update_bits_exprt
update_bits_exprt
February 4, 2024 17:25 51m 50s
update_bits_exprt CodeQL #5550: Pull request #8182 opened by kroening
February 4, 2024 17:23 54m 4s update_bits_exprt
update_bits_exprt
February 4, 2024 17:23 54m 4s
SMT2: implement with on bit-vectors CodeQL #5549: Pull request #8181 opened by kroening
February 3, 2024 23:59 54m 15s smt2-with-bit-vector
smt2-with-bit-vector
February 3, 2024 23:59 54m 15s
SMT2: fix extractbit with non-const index CodeQL #5548: Pull request #8180 opened by kroening
February 3, 2024 23:27 52m 12s smt2-extractbit
smt2-extractbit
February 3, 2024 23:27 52m 12s
Add an abstract domain with very basic relational reasoning CodeQL #5547: Pull request #7361 synchronize by martin-cs
February 2, 2024 21:29 9m 9s martin-cs:feature/vsd-predicate-tracking
martin-cs:feature/vsd-predicate-tracking
February 2, 2024 21:29 9m 9s
Add an abstract domain with very basic relational reasoning CodeQL #5546: Pull request #7361 synchronize by martin-cs
February 2, 2024 21:29 9m 18s martin-cs:feature/vsd-predicate-tracking
martin-cs:feature/vsd-predicate-tracking
February 2, 2024 21:29 9m 18s
A new abstract interpreter for performing function-local analysis CodeQL #5545: Pull request #6529 synchronize by martin-cs
February 2, 2024 20:25 23m 56s martin-cs:feature/ai-local-analysis
martin-cs:feature/ai-local-analysis
February 2, 2024 20:25 23m 56s
Use goto-analyzer to add assumptions, assertions and code contracts CodeQL #5544: Pull request #7964 synchronize by martin-cs
February 2, 2024 20:24 27m 31s martin-cs:feature/goto-analyzer-instrument-task
martin-cs:feature/goto-analyzer-instrument-task
February 2, 2024 20:24 27m 31s
Merge pull request #8174 from tautschnig/bugfixes/argc-argv-scope CodeQL #5543: Commit 5bdff46 pushed by tautschnig
February 2, 2024 18:11 52m 58s develop
develop
February 2, 2024 18:11 52m 58s
ProTip! You can narrow down the results and go further in time using created:<2024-02-02 or the other filters available.