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
982 workflow runs
982 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3489: Pull request #8538 synchronize by kroening
4m 15s round_to_integral
round_to_integral
4m 15s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3488: Pull request #8538 synchronize by kroening
4m 1s round_to_integral
round_to_integral
4m 1s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3487: Pull request #8538 synchronize by kroening
3m 55s round_to_integral
round_to_integral
3m 55s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3486: Pull request #8538 synchronize by kroening
4m 46s round_to_integral
round_to_integral
4m 46s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3485: Pull request #8538 synchronize by kroening
2m 37s round_to_integral
round_to_integral
2m 37s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3484: Pull request #8538 synchronize by kroening
11m 38s round_to_integral
round_to_integral
11m 38s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3483: Pull request #8538 synchronize by kroening
8m 2s round_to_integral
round_to_integral
8m 2s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3482: Pull request #8538 synchronize by kroening
6m 59s round_to_integral
round_to_integral
6m 59s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3481: Pull request #8538 synchronize by kroening
5m 30s round_to_integral
round_to_integral
5m 30s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3480: Pull request #8538 opened by kroening
5m 27s round_to_integral
round_to_integral
5m 27s
SMT2: range_type fixes Build and Test the Rust API #3479: Pull request #8537 synchronize by kroening
1m 35s smt2-range-fix
smt2-range-fix
1m 35s
Merge pull request #8533 from diffblue/prop-solve-xnor Build and Test the Rust API #3478: Commit d5cf498 pushed by tautschnig
1m 42s develop
develop
1m 42s
ProTip! You can narrow down the results and go further in time using created:<2024-12-20 or the other filters available.