Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
1,409 workflow runs
1,409 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
Use std::from_chars instead of stoll/stoull in string2int.h CodeQL #8386: Pull request #9007 synchronize by kroening
In progress feature/from-chars-string2int
feature/from-chars-string2int
In progress
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
SMT2 tokenizer now has full tokent class CodeQL #8372: Pull request #9003 synchronize by kroening
54m 1s smt2-tokenizer-token-class
smt2-tokenizer-token-class
54m 1s
SMT2 tokenizer now has full tokent class CodeQL #8371: Pull request #9003 synchronize by kroening
30m 53s smt2-tokenizer-token-class
smt2-tokenizer-token-class
30m 53s
SMT2 tokenizer now has full tokent class CodeQL #8370: Pull request #9003 synchronize by kroening
33m 0s smt2-tokenizer-token-class
smt2-tokenizer-token-class
33m 0s
SMT2 tokenizer now has full tokent class CodeQL #8369: Pull request #9003 opened by kroening
31m 31s smt2-tokenizer-token-class
smt2-tokenizer-token-class
31m 31s
SMT2 parser with explicit stack CodeQL #8368: Pull request #8415 synchronize by tautschnig
30m 40s smt2_parser_with_stack
smt2_parser_with_stack
30m 40s
SMT2 parser with explicit stack CodeQL #8367: Pull request #8415 synchronize by tautschnig
30m 54s smt2_parser_with_stack
smt2_parser_with_stack
30m 54s
Merge pull request #7296 from diffblue/union-flexible CodeQL #8366: Commit 166a7d4 pushed by tautschnig
52m 46s develop
develop
52m 46s
disallow flexible array members in unions CodeQL #8365: Pull request #7296 synchronize by tautschnig
1h 4m 34s union-flexible
union-flexible
1h 4m 34s
Merge pull request #8547 from peterschrammel/ps/cmake-clean CodeQL #8364: Commit 66f8c1b pushed by tautschnig
53m 6s develop
develop
53m 6s
Merge pull request #8969 from diffblue/smt2-range-encoding CodeQL #8363: Commit 16906d1 pushed by tautschnig
53m 6s develop
develop
53m 6s
SMT2: fix for encoding of range-typed symbols CodeQL #8362: Pull request #8969 synchronize by tautschnig
1h 8m 25s smt2-range-encoding
smt2-range-encoding
1h 8m 25s