Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
1,382 workflow runs
1,382 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::string_view for safe_string2int CodeQL #8431: Pull request #9009 synchronize by kroening
50m 22s safe_string2int
safe_string2int
50m 22s
Merge pull request #9010 from diffblue/reduction_exprt CodeQL #8430: Commit 258b08c pushed by kroening
48m 32s develop
develop
48m 32s
Pass irep_idt by value (C++ Core Guidelines F.16) + CI checker CodeQL #8429: Pull request #9014 opened by tautschnig
49m 13s tautschnig:f16-checker
tautschnig:f16-checker
49m 13s
Add fp.isSubnormal, fp.isNegative, fp.isPositive to SMT2 parser CodeQL #8428: Pull request #8889 synchronize by tautschnig
1h 0m 26s tautschnig:fp.isSNP
tautschnig:fp.isSNP
1h 0m 26s
Fix C++ ternary operator type checking for bitfield operands CodeQL #8427: Pull request #8792 synchronize by tautschnig
1h 7m 59s tautschnig:fix-933-ternary-cpp
tautschnig:fix-933-ternary-cpp
1h 7m 59s
Fix sub-byte bit placement in boolbv convert_byte_update CodeQL #8426: Pull request #8960 synchronize by tautschnig
49m 38s tautschnig:fix-sub-byte-placement
tautschnig:fix-sub-byte-placement
49m 38s
Add fp.isSubnormal, fp.isNegative, fp.isPositive to SMT2 parser CodeQL #8425: Pull request #8889 synchronize by tautschnig
47m 56s tautschnig:fp.isSNP
tautschnig:fp.isSNP
47m 56s
Fix C++ ternary operator type checking for bitfield operands CodeQL #8424: Pull request #8792 synchronize by tautschnig
50m 9s tautschnig:fix-933-ternary-cpp
tautschnig:fix-933-ternary-cpp
50m 9s
introduce reduction_*_exprt classes CodeQL #8423: Pull request #9010 synchronize by tautschnig
50m 54s reduction_exprt
reduction_exprt
50m 54s
Detect repeated contract enforcement in goto-instrument CodeQL #8422: Pull request #8754 synchronize by tautschnig
50m 31s tautschnig:fix-7830-contracts-twice
tautschnig:fix-7830-contracts-twice
50m 31s
Detect repeated contract enforcement in goto-instrument CodeQL #8421: Pull request #8754 synchronize by tautschnig
51m 0s tautschnig:fix-7830-contracts-twice
tautschnig:fix-7830-contracts-twice
51m 0s
Detect repeated contract enforcement in goto-instrument CodeQL #8420: Pull request #8754 synchronize by tautschnig
47m 48s tautschnig:fix-7830-contracts-twice
tautschnig:fix-7830-contracts-twice
47m 48s
Extract map_theoryt base class from arrayst CodeQL #8419: Pull request #8992 synchronize by tautschnig
51m 42s tautschnig:map_theoryt
tautschnig:map_theoryt
51m 42s
Avoid branches in CPROVER library for --paths mode CodeQL #8418: Pull request #8971 synchronize by tautschnig
39m 23s tautschnig:library-branching
tautschnig:library-branching
39m 23s
Warn when --outfile produces an empty formula CodeQL #8417: Pull request #8949 synchronize by tautschnig
50m 40s tautschnig:empty-outfile-warning
tautschnig:empty-outfile-warning
50m 40s
Add empty_namespacet for unit tests CodeQL #8416: Pull request #8996 synchronize by tautschnig
47m 55s tautschnig:empty_namespacet
tautschnig:empty_namespacet
47m 55s
Replace deprecated save-always with cache/restore + cache/save CodeQL #8415: Pull request #8891 synchronize by tautschnig
50m 9s tautschnig:ci-save-restore
tautschnig:ci-save-restore
50m 9s
Add CMake option to auto-detect and link tcmalloc or jemalloc CodeQL #8414: Pull request #8973 synchronize by tautschnig
6h 13m 41s tautschnig:tcmalloc
tautschnig:tcmalloc
6h 13m 41s
Simplify (x * n) % n CodeQL #8413: Pull request #8947 synchronize by tautschnig
1h 9m 3s tautschnig:simplify/mod-mult
tautschnig:simplify/mod-mult
1h 9m 3s
Remove deprecated add_axioms_for_copy method CodeQL #8412: Pull request #8914 synchronize by tautschnig
50m 22s tautschnig:fix-8018-add_axioms_for_copy
tautschnig:fix-8018-add_axioms_for_copy
50m 22s
dump-c: sign-extend signed bit-field temporaries CodeQL #8411: Pull request #9013 opened by tautschnig
31m 10s tautschnig:dump-c-bitfield-chained-assign
tautschnig:dump-c-bitfield-chained-assign
31m 10s
Extract map_theoryt base class from arrayst CodeQL #8410: Pull request #8992 synchronize by tautschnig
33m 16s tautschnig:map_theoryt
tautschnig:map_theoryt
33m 16s
Merge pull request #8886 from tautschnig/update-cvc5 CodeQL #8409: Commit 808dae2 pushed by tautschnig
52m 29s develop
develop
52m 29s
Merge pull request #8977 from tautschnig/profiling-verbosity CodeQL #8408: Commit 90fdfd1 pushed by tautschnig
50m 47s develop
develop
50m 47s
Message handler: add quote_begin, quote_end commands CodeQL #8407: Pull request #5696 synchronize by tautschnig
40m 23s tautschnig:quote-command
tautschnig:quote-command
40m 23s