Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
1,291 workflow runs
1,291 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
Merge pull request #8967 from diffblue/smt-solver-cleanup CodeQL #8256: Commit b32074b pushed by tautschnig
51m 52s develop
develop
51m 52s
Remove support for CVC 3 and CVC 4 CodeQL #8255: Pull request #8967 synchronize by kroening
51m 0s smt-solver-cleanup
smt-solver-cleanup
51m 0s
Remove support for CVC 3 and CVC 4 CodeQL #8254: Pull request #8967 synchronize by kroening
50m 26s smt-solver-cleanup
smt-solver-cleanup
50m 26s
SMT2 backend: reduction operators CodeQL #8253: Pull request #8964 synchronize by kroening
52m 52s smt2-reduction-operators
smt2-reduction-operators
52m 52s
SMT2 backend: reduction operators CodeQL #8252: Pull request #8964 synchronize by kroening
1h 5m 57s smt2-reduction-operators
smt2-reduction-operators
1h 5m 57s
SMT2 backend: reduction operators CodeQL #8251: Pull request #8964 synchronize by kroening
1h 11m 51s smt2-reduction-operators
smt2-reduction-operators
1h 11m 51s
SMT2 backend: reduction operators CodeQL #8250: Pull request #8964 synchronize by kroening
55m 50s smt2-reduction-operators
smt2-reduction-operators
55m 50s
SMT2 backend: reduction operators CodeQL #8249: Pull request #8964 synchronize by kroening
30m 17s smt2-reduction-operators
smt2-reduction-operators
30m 17s
SMT2 backend: reduction operators CodeQL #8248: Pull request #8964 synchronize by kroening
30m 41s smt2-reduction-operators
smt2-reduction-operators
30m 41s
Merge pull request #8965 from diffblue/smt2-flags-init CodeQL #8247: Commit 1b41bbe pushed by tautschnig
53m 25s develop
develop
53m 25s
SMT2: fix for encoding of range-typed symbols CodeQL #8246: Pull request #8969 opened by kroening
50m 22s smt2-range-encoding
smt2-range-encoding
50m 22s
float_utils: normalization shift for very short fractions CodeQL #8245: Pull request #8968 opened by kroening
51m 56s bit-to-fp1
bit-to-fp1
51m 56s
Remove support for CVC 3 and CVC 4 CodeQL #8244: Pull request #8967 opened by kroening
31m 53s smt-solver-cleanup
smt-solver-cleanup
31m 53s
Fixup for #8829: add bit-vector case CodeQL #8243: Pull request #8966 opened by kroening
47m 14s fixup-8829
fixup-8829
47m 14s
move flag initialisation in smt2_convt CodeQL #8242: Pull request #8965 opened by kroening
51m 26s smt2-flags-init
smt2-flags-init
51m 26s
Merge pull request #8963 from diffblue/bitvector_typet_all CodeQL #8241: Commit 288eb04 pushed by kroening
52m 12s develop
develop
52m 12s
push up all_zeros_expr and all_ones_expr helpers to bitvector_typet CodeQL #8240: Pull request #8963 synchronize by kroening
50m 44s bitvector_typet_all
bitvector_typet_all
50m 44s
move bitvector_typet into bitvector_type.h CodeQL #8239: Pull request #8962 synchronize by kroening
51m 41s move-bitvector_typet
move-bitvector_typet
51m 41s
SMT2 backend: reduction operators CodeQL #8238: Pull request #8964 opened by kroening
29m 56s smt2-reduction-operators
smt2-reduction-operators
29m 56s
push up all_zeros_expr and all_ones_expr helpers to bitvector_typet CodeQL #8237: Pull request #8963 synchronize by kroening
1h 16m 58s bitvector_typet_all
bitvector_typet_all
1h 16m 58s
move bitvector_typet into bitvector_type.h CodeQL #8236: Pull request #8962 synchronize by kroening
1h 10m 25s move-bitvector_typet
move-bitvector_typet
1h 10m 25s
push up all_zeros_expr and all_ones_expr helpers to bitvector_typet CodeQL #8235: Pull request #8963 opened by kroening
1h 0m 41s bitvector_typet_all
bitvector_typet_all
1h 0m 41s
move bitvector_typet into bitvector_type.h CodeQL #8234: Pull request #8962 synchronize by kroening
50m 15s move-bitvector_typet
move-bitvector_typet
50m 15s
move bitvector_typet into bitvector_type.h CodeQL #8233: Pull request #8962 opened by kroening
25m 30s move-bitvector_typet
move-bitvector_typet
25m 30s
Add script to draft release notes from GitHub API CodeQL #8232: Pull request #8934 synchronize by tautschnig
51m 55s tautschnig:fix-7907-create-changelog
tautschnig:fix-7907-create-changelog
51m 55s