Skip to content

Actions: diffblue/cbmc

Actions

Build and Test the Rust API

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request-check-rust-api.yaml
1,010 workflow runs
1,010 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

uninitialized check Build and Test the Rust API #3514: Pull request #8545 synchronize by kroening
2m 13s uninitialized-check
uninitialized-check
2m 13s
uninitialized check Build and Test the Rust API #3513: Pull request #8545 synchronize by kroening
4m 9s uninitialized-check
uninitialized-check
4m 9s
Merge pull request #8544 from diffblue/goto-check-c-is-assigned Build and Test the Rust API #3512: Commit f9a7807 pushed by kroening
1m 51s develop
develop
1m 51s
fix enum-range check for LHSs Build and Test the Rust API #3511: Pull request #8544 synchronize by kroening
1m 35s goto-check-c-is-assigned
goto-check-c-is-assigned
1m 35s
Merge pull request #8543 from diffblue/enum_lhs Build and Test the Rust API #3510: Commit b71084c pushed by tautschnig
1m 38s develop
develop
1m 38s
fix enum-range check for LHSs Build and Test the Rust API #3509: Pull request #8544 synchronize by kroening
1m 45s goto-check-c-is-assigned
goto-check-c-is-assigned
1m 45s
Merge pull request #8542 from diffblue/fix-bitwise-flattening Build and Test the Rust API #3508: Commit fc4f7ca pushed by tautschnig
1m 51s develop
develop
1m 51s
fix enum-range check for LHSs Build and Test the Rust API #3507: Pull request #8544 synchronize by kroening
1h 5m 13s goto-check-c-is-assigned
goto-check-c-is-assigned
1h 5m 13s
uninitialized check Build and Test the Rust API #3506: Pull request #8545 opened by kroening
1h 6m 14s uninitialized-check
uninitialized-check
1h 6m 14s
fix enum-range check for LHSs Build and Test the Rust API #3505: Pull request #8544 opened by kroening
42m 18s goto-check-c-is-assigned
goto-check-c-is-assigned
42m 18s
KNOWNBUG test for enum-range check inside LHS of an assignment Build and Test the Rust API #3504: Pull request #8543 synchronize by kroening
1m 52s enum_lhs
enum_lhs
1m 52s
KNOWNBUG test for enum-range check inside LHS of an assignment Build and Test the Rust API #3503: Pull request #8543 synchronize by kroening
4m 38s enum_lhs
enum_lhs
4m 38s
KNOWNBUG test for enum-range check inside LHS of an assignment Build and Test the Rust API #3502: Pull request #8543 synchronize by kroening
26m 13s enum_lhs
enum_lhs
26m 13s
KNOWNBUG test for enum-range check inside LHS of an assignment Build and Test the Rust API #3501: Pull request #8543 synchronize by kroening
2m 2s enum_lhs
enum_lhs
2m 2s
KNOWNBUG test for enum-range check inside LHS of an assignment Build and Test the Rust API #3500: Pull request #8543 opened by kroening
2m 3s enum_lhs
enum_lhs
2m 3s
Bugfix: flattening for non-binary bitnor, bitnand, bitxnor Build and Test the Rust API #3499: Pull request #8542 opened by kroening
1m 39s fix-bitwise-flattening
fix-bitwise-flattening
1m 39s
ieee_floatt: introduce NOT_SET rounding mode Build and Test the Rust API #3498: Pull request #8541 synchronize by kroening
1m 56s ieee_floatt_NOT_SET
ieee_floatt_NOT_SET
1m 56s
ieee_floatt: introduce NOT_SET rounding mode Build and Test the Rust API #3497: Pull request #8541 synchronize by kroening
4m 5s ieee_floatt_NOT_SET
ieee_floatt_NOT_SET
4m 5s
ieee_floatt: introduce NOT_SET rounding mode Build and Test the Rust API #3496: Pull request #8541 synchronize by kroening
5m 15s ieee_floatt_NOT_SET
ieee_floatt_NOT_SET
5m 15s
Merge pull request #8540 from diffblue/ieee_float_precondition Build and Test the Rust API #3495: Commit c4aaafd pushed by kroening
11m 0s develop
develop
11m 0s
ieee_floatt: introduce NOT_SET rounding mode Build and Test the Rust API #3494: Pull request #8541 opened by kroening
48m 45s ieee_floatt_NOT_SET
ieee_floatt_NOT_SET
48m 45s
ieee_floatt: add preconditions Build and Test the Rust API #3493: Pull request #8540 opened by kroening
22m 4s ieee_float_precondition
ieee_float_precondition
22m 4s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3492: Pull request #8538 synchronize by kroening
1m 54s round_to_integral
round_to_integral
1m 54s
SMT2 parser: add abbreviated versions of the rounding modes Build and Test the Rust API #3491: Pull request #8539 opened by kroening
11m 48s smt2-rounding-modes
smt2-rounding-modes
11m 48s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3490: Pull request #8538 synchronize by kroening
1m 7s round_to_integral
round_to_integral
1m 7s
ProTip! You can narrow down the results and go further in time using created:<2024-12-21 or the other filters available.