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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add IEEE 754 TiesToAway rounding mode Build and Test the Rust API #3658: Pull request #8515 synchronize by kroening
January 26, 2025 16:51 10m 17s TiesToAway
TiesToAway
January 26, 2025 16:51 10m 17s
CONTRACTS: ensure at most one predicate per pointer Build and Test the Rust API #3657: Pull request #8577 opened by remi-delmas-3000
January 25, 2025 21:55 10m 36s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 25, 2025 21:55 10m 36s
CONTRACTS: separation checks using nondet demonic variable Build and Test the Rust API #3656: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:22 1m 45s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:22 1m 45s
CONTRACTS: separation checks using nondet demonic variable Build and Test the Rust API #3655: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:20 1m 36s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:20 1m 36s
CONTRACTS: separation checks using nondet demonic variable Build and Test the Rust API #3654: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 10m 22s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 10m 22s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test the Rust API #3653: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 1m 37s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 1m 37s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test the Rust API #3652: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 1m 39s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 1m 39s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test the Rust API #3651: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 3m 3s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 3m 3s
Merge pull request #8574 from remi-delmas-3000/contracts-predicates-u… Build and Test the Rust API #3650: Commit 3d79560 pushed by tautschnig
January 24, 2025 13:36 1m 47s develop
develop
January 24, 2025 13:36 1m 47s
CONTRATCS: force success for necessary pointer predicates Build and Test the Rust API #3649: Pull request #8574 synchronize by remi-delmas-3000
January 24, 2025 01:40 1m 35s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 24, 2025 01:40 1m 35s
CONTRATCS: force success for necessary pointer predicates Build and Test the Rust API #3648: Pull request #8574 synchronize by remi-delmas-3000
January 23, 2025 22:32 1m 53s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 22:32 1m 53s
CONTRATCS: force success for necessary pointer predicates Build and Test the Rust API #3647: Pull request #8574 synchronize by remi-delmas-3000
January 23, 2025 22:11 2m 6s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 22:11 2m 6s
CONTRATCS: force success for necessary pointer predicates Build and Test the Rust API #3646: Pull request #8574 opened by remi-delmas-3000
January 23, 2025 21:54 2m 33s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 21:54 2m 33s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test the Rust API #3645: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:53 1m 51s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:53 1m 51s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test the Rust API #3644: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:40 2m 5s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:40 2m 5s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test the Rust API #3643: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:03 1m 54s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:03 1m 54s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test the Rust API #3642: Pull request #8573 opened by remi-delmas-3000
January 22, 2025 17:10 2m 41s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 17:10 2m 41s
Merge pull request #8562 from remi-delmas-3000/contracts-allow-is-fre… Build and Test the Rust API #3641: Commit d4757e2 pushed by tautschnig
January 22, 2025 11:48 13m 23s develop
develop
January 22, 2025 11:48 13m 23s
CONTRACTS: allow pointer predicates to fail in assume contexts Build and Test the Rust API #3640: Pull request #8562 synchronize by remi-delmas-3000
January 21, 2025 16:00 1m 49s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 21, 2025 16:00 1m 49s
CONTRACTS: allow pointer predicates to fail in assume contexts Build and Test the Rust API #3639: Pull request #8562 synchronize by remi-delmas-3000
January 21, 2025 06:47 10m 14s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 21, 2025 06:47 10m 14s
CONTRACTS: allow pointer predicates to fail in assume contexts Build and Test the Rust API #3638: Pull request #8562 synchronize by remi-delmas-3000
January 21, 2025 06:16 13m 49s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 21, 2025 06:16 13m 49s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3637: Pull request #8572 synchronize by tautschnig
January 20, 2025 15:30 1m 22s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 15:30 1m 22s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3636: Pull request #8572 synchronize by tautschnig
January 20, 2025 13:58 2m 12s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 13:58 2m 12s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3635: Pull request #8572 synchronize by tautschnig
January 20, 2025 13:52 1m 50s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 13:52 1m 50s
Add aarch64 (Arm 64-bit) CI job Build and Test the Rust API #3634: Pull request #8572 synchronize by tautschnig
January 20, 2025 12:32 18m 5s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 12:32 18m 5s