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,014 workflow runs
1,014 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3715: Pull request #8538 synchronize by kroening
2m 48s round_to_integral
round_to_integral
2m 48s
Remove namespace_baset::follow(typet) Build and Test the Rust API #3714: Pull request #8590 synchronize by kroening
4m 49s remove-namespace_baset-follow
remove-namespace_baset-follow
4m 49s
Merge pull request #8561 from diffblue/bump-clang-format Build and Test the Rust API #3713: Commit e5e5c65 pushed by kroening
43m 1s develop
develop
43m 1s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3712: Pull request #8538 synchronize by kroening
46m 10s round_to_integral
round_to_integral
46m 10s
Merge pull request #8515 from diffblue/TiesToAway Build and Test the Rust API #3711: Commit ba3b018 pushed by kroening
44m 53s develop
develop
44m 53s
bump clang-format to clang-15 Build and Test the Rust API #3710: Pull request #8561 synchronize by kroening
9m 27s bump-clang-format
bump-clang-format
9m 27s
Remove namespace_baset::follow(typet) Build and Test the Rust API #3709: Pull request #8590 synchronize by kroening
9m 30s remove-namespace_baset-follow
remove-namespace_baset-follow
9m 30s
line number for files with no newline Build and Test the Rust API #3708: Pull request #8558 synchronize by kroening
1h 1m 1s parser_line_no
parser_line_no
1h 1m 1s
Remove namespace_baset::follow(typet) Build and Test the Rust API #3707: Pull request #8590 opened by kroening
1h 2m 39s remove-namespace_baset-follow
remove-namespace_baset-follow
1h 2m 39s
Add IEEE 754 TiesToAway rounding mode Build and Test the Rust API #3706: Pull request #8515 synchronize by kroening
1h 3m 12s TiesToAway
TiesToAway
1h 3m 12s
bump clang-format to clang-15 Build and Test the Rust API #3705: Pull request #8561 synchronize by kroening
29m 52s bump-clang-format
bump-clang-format
29m 52s
bump clang-format to clang-15 Build and Test the Rust API #3704: Pull request #8561 synchronize by kroening
8m 53s bump-clang-format
bump-clang-format
8m 53s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3703: Pull request #8538 synchronize by kroening
11m 11s round_to_integral
round_to_integral
11m 11s
Introduce floatbv_round_to_integral_exprt Build and Test the Rust API #3702: Pull request #8538 synchronize by kroening
13m 6s round_to_integral
round_to_integral
13m 6s
Merge pull request #8589 from diffblue/enumeration_bv_get Build and Test the Rust API #3701: Commit 6957a04 pushed by kroening
16m 51s develop
develop
16m 51s
implement boolbvt::get for enumeration types Build and Test the Rust API #3700: Pull request #8589 synchronize by kroening
1m 48s enumeration_bv_get
enumeration_bv_get
1m 48s
implement boolbvt::get for enumeration types Build and Test the Rust API #3699: Pull request #8589 synchronize by kroening
1m 45s enumeration_bv_get
enumeration_bv_get
1m 45s
implement boolbvt::get for enumeration types Build and Test the Rust API #3698: Pull request #8589 opened by kroening
11m 55s enumeration_bv_get
enumeration_bv_get
11m 55s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3697: Pull request #8572 synchronize by tautschnig
11m 20s tautschnig:arm-ci
tautschnig:arm-ci
11m 20s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3696: Pull request #8572 synchronize by tautschnig
7m 2s tautschnig:arm-ci
tautschnig:arm-ci
7m 2s
Value-set based dereferencing: fix simplified handling of *(p + i) Build and Test the Rust API #3695: Pull request #8578 synchronize by tautschnig
10m 12s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
10m 12s
C++ front-end fixes Build and Test the Rust API #3694: Pull request #8275 synchronize by tautschnig
41m 25s tautschnig:bugfixes/cpp-constexpr
tautschnig:bugfixes/cpp-constexpr
41m 25s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3693: Pull request #8572 synchronize by tautschnig
22m 52s tautschnig:arm-ci
tautschnig:arm-ci
22m 52s
Value-set based dereferencing: fix simplified handling of *(p + i) Build and Test the Rust API #3692: Pull request #8578 synchronize by tautschnig
22m 32s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
22m 32s
Simplify typecast of zero-extension to just a typecast Build and Test the Rust API #3691: Pull request #8586 synchronize by tautschnig
1m 46s tautschnig:simp-zero-extend
tautschnig:simp-zero-extend
1m 46s
ProTip! You can narrow down the results and go further in time using created:<2025-02-09 or the other filters available.