Skip to content

Actions: diffblue/cbmc

Actions

CodeQL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql-analysis.yml
960 workflow runs
960 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix enum-range check for LHSs CodeQL #6692: Pull request #8544 synchronize by kroening
30m 30s goto-check-c-is-assigned
goto-check-c-is-assigned
30m 30s
Merge pull request #8542 from diffblue/fix-bitwise-flattening CodeQL #6691: Commit fc4f7ca pushed by tautschnig
50m 21s develop
develop
50m 21s
fix enum-range check for LHSs CodeQL #6690: Pull request #8544 synchronize by kroening
37m 53s goto-check-c-is-assigned
goto-check-c-is-assigned
37m 53s
uninitialized check CodeQL #6689: Pull request #8545 opened by kroening
39m 58s uninitialized-check
uninitialized-check
39m 58s
fix enum-range check for LHSs CodeQL #6688: Pull request #8544 opened by kroening
31m 52s goto-check-c-is-assigned
goto-check-c-is-assigned
31m 52s
KNOWNBUG test for enum-range check inside LHS of an assignment CodeQL #6687: Pull request #8543 synchronize by kroening
30m 31s enum_lhs
enum_lhs
30m 31s
KNOWNBUG test for enum-range check inside LHS of an assignment CodeQL #6686: Pull request #8543 synchronize by kroening
29m 53s enum_lhs
enum_lhs
29m 53s
KNOWNBUG test for enum-range check inside LHS of an assignment CodeQL #6685: Pull request #8543 synchronize by kroening
29m 54s enum_lhs
enum_lhs
29m 54s
KNOWNBUG test for enum-range check inside LHS of an assignment CodeQL #6684: Pull request #8543 synchronize by kroening
30m 44s enum_lhs
enum_lhs
30m 44s
KNOWNBUG test for enum-range check inside LHS of an assignment CodeQL #6683: Pull request #8543 opened by kroening
30m 16s enum_lhs
enum_lhs
30m 16s
Bugfix: flattening for non-binary bitnor, bitnand, bitxnor CodeQL #6682: Pull request #8542 opened by kroening
29m 50s fix-bitwise-flattening
fix-bitwise-flattening
29m 50s
ieee_floatt: introduce NOT_SET rounding mode CodeQL #6681: Pull request #8541 synchronize by kroening
35m 19s ieee_floatt_NOT_SET
ieee_floatt_NOT_SET
35m 19s
ieee_floatt: introduce NOT_SET rounding mode CodeQL #6680: Pull request #8541 synchronize by kroening
34m 55s ieee_floatt_NOT_SET
ieee_floatt_NOT_SET
34m 55s
ieee_floatt: introduce NOT_SET rounding mode CodeQL #6679: Pull request #8541 synchronize by kroening
33m 41s ieee_floatt_NOT_SET
ieee_floatt_NOT_SET
33m 41s
Merge pull request #8540 from diffblue/ieee_float_precondition CodeQL #6678: Commit c4aaafd pushed by kroening
49m 16s develop
develop
49m 16s
ieee_floatt: introduce NOT_SET rounding mode CodeQL #6677: Pull request #8541 opened by kroening
38m 29s ieee_floatt_NOT_SET
ieee_floatt_NOT_SET
38m 29s
ieee_floatt: add preconditions CodeQL #6676: Pull request #8540 opened by kroening
29m 42s ieee_float_precondition
ieee_float_precondition
29m 42s
Introduce floatbv_round_to_integral_exprt CodeQL #6675: Pull request #8538 synchronize by kroening
47m 29s round_to_integral
round_to_integral
47m 29s
SMT2 parser: add abbreviated versions of the rounding modes CodeQL #6674: Pull request #8539 opened by kroening
29m 37s smt2-rounding-modes
smt2-rounding-modes
29m 37s
Introduce floatbv_round_to_integral_exprt CodeQL #6673: Pull request #8538 synchronize by kroening
47m 22s round_to_integral
round_to_integral
47m 22s
Introduce floatbv_round_to_integral_exprt CodeQL #6672: Pull request #8538 synchronize by kroening
48m 17s round_to_integral
round_to_integral
48m 17s
Introduce floatbv_round_to_integral_exprt CodeQL #6671: Pull request #8538 synchronize by kroening
47m 34s round_to_integral
round_to_integral
47m 34s
Introduce floatbv_round_to_integral_exprt CodeQL #6670: Pull request #8538 synchronize by kroening
27m 9s round_to_integral
round_to_integral
27m 9s
Introduce floatbv_round_to_integral_exprt CodeQL #6669: Pull request #8538 synchronize by kroening
26m 38s round_to_integral
round_to_integral
26m 38s
Introduce floatbv_round_to_integral_exprt CodeQL #6668: Pull request #8538 synchronize by kroening
49m 38s round_to_integral
round_to_integral
49m 38s
ProTip! You can narrow down the results and go further in time using created:<2024-12-21 or the other filters available.