Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Do not use as const with Z3 due to soundness issue CodeQL #8397: Pull request #9011 opened by tautschnig
50m 34s tautschnig:z3-workaround
tautschnig:z3-workaround
50m 34s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) CodeQL #8396: Pull request #8465 synchronize by yvizel
Action required yvizel:develop
yvizel:develop
Action required
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) CodeQL #8395: Pull request #8465 synchronize by yvizel
Action required yvizel:develop
yvizel:develop
Action required
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements CodeQL #8394: Pull request #8878 synchronize by tautschnig
54m 6s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
54m 6s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements CodeQL #8393: Pull request #8878 synchronize by tautschnig
51m 57s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
51m 57s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements CodeQL #8392: Pull request #8878 synchronize by tautschnig
54m 18s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
54m 18s
introduce reduction_*_exprt classes CodeQL #8391: Pull request #9010 synchronize by kroening
32m 42s reduction_exprt
reduction_exprt
32m 42s
introduce reduction_*_exprt classes CodeQL #8390: Pull request #9010 opened by kroening
32m 1s reduction_exprt
reduction_exprt
32m 1s
use std::string_view for safe_string2int CodeQL #8389: Pull request #9009 opened by kroening
48m 56s safe_string2int
safe_string2int
48m 56s
Merge pull request #9007 from diffblue/feature/from-chars-string2int CodeQL #8388: Commit 82ba0cc pushed by kroening
49m 40s develop
develop
49m 40s
Use std::from_chars instead of stoll/stoull in string2int.h CodeQL #8387: Pull request #9007 synchronize by kroening
51m 18s feature/from-chars-string2int
feature/from-chars-string2int
51m 18s
Use std::from_chars instead of stoll/stoull in string2int.h CodeQL #8386: Pull request #9007 synchronize by kroening
51m 40s feature/from-chars-string2int
feature/from-chars-string2int
51m 40s
Use std::from_chars instead of stoll/stoull in string2int.h CodeQL #8385: Pull request #9007 synchronize by kroening
54m 5s feature/from-chars-string2int
feature/from-chars-string2int
54m 5s
Use std::from_chars instead of stoll/stoull in string2int.h CodeQL #8384: Pull request #9007 synchronize by kroening
1h 13m 39s feature/from-chars-string2int
feature/from-chars-string2int
1h 13m 39s
Use std::from_chars instead of stoll/stoull in string2int.h CodeQL #8383: Pull request #9007 synchronize by kroening
1h 1m 56s feature/from-chars-string2int
feature/from-chars-string2int
1h 1m 56s
Use std::from_chars instead of stoll/stoull in string2int.h CodeQL #8382: Pull request #9007 synchronize by kroening
48m 5s feature/from-chars-string2int
feature/from-chars-string2int
48m 5s
Use std::from_chars instead of stoll/stoull in string2int.h CodeQL #8381: Pull request #9007 opened by kroening
51m 40s feature/from-chars-string2int
feature/from-chars-string2int
51m 40s
use std::string_view in dstring CodeQL #8380: Pull request #9006 synchronize by kroening
1h 15m 27s dstring_string_view
dstring_string_view
1h 15m 27s
use std::string_view in string_utils CodeQL #8379: Pull request #9005 synchronize by kroening
1h 12m 15s string_utils_string_view
string_utils_string_view
1h 12m 15s
use std::string_view in string_utils CodeQL #8378: Pull request #9005 synchronize by kroening
48m 28s string_utils_string_view
string_utils_string_view
48m 28s
use std::string_view in dstring CodeQL #8377: Pull request #9006 opened by kroening
47m 38s dstring_string_view
dstring_string_view
47m 38s
use std::string_view in string_utils CodeQL #8376: Pull request #9005 opened by kroening
28m 11s string_utils_string_view
string_utils_string_view
28m 11s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements CodeQL #8375: Pull request #8878 synchronize by tautschnig
52m 16s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
52m 16s
[Individual PRs to follow] C++ standard support: C++11 through C++26 parser, type-checker, and STL improvements CodeQL #8374: Pull request #8878 synchronize by tautschnig
52m 58s tautschnig:cpp11-parser-rework-squashed
tautschnig:cpp11-parser-rework-squashed
52m 58s
SMT2 tokenizer now has full tokent class CodeQL #8373: Pull request #9003 synchronize by kroening
51m 41s smt2-tokenizer-token-class
smt2-tokenizer-token-class
51m 41s