Skip to content

Actions: diffblue/cbmc

Actions

Build Xen with CPROVER tools

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test-Xen.yaml
1,481 workflow runs
1,481 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add IEEE 754 TiesToAway rounding mode Build Xen with CPROVER tools #9880: Pull request #8515 synchronize by kroening
January 26, 2025 16:51 21m 13s TiesToAway
TiesToAway
January 26, 2025 16:51 21m 13s
CONTRACTS: ensure at most one predicate per pointer Build Xen with CPROVER tools #9879: Pull request #8577 opened by remi-delmas-3000
January 25, 2025 21:55 20m 45s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 25, 2025 21:55 20m 45s
CONTRACTS: separation checks using nondet demonic variable Build Xen with CPROVER tools #9878: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:22 11m 43s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:22 11m 43s
CONTRACTS: separation checks using nondet demonic variable Build Xen with CPROVER tools #9877: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:20 11m 45s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:20 11m 45s
CONTRACTS: separation checks using nondet demonic variable Build Xen with CPROVER tools #9876: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 20m 42s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 20m 42s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Xen with CPROVER tools #9875: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 11m 57s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 11m 57s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Xen with CPROVER tools #9874: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 12m 18s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 12m 18s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Xen with CPROVER tools #9873: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 12m 37s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 12m 37s
CONTRATCS: force success for necessary pointer predicates Build Xen with CPROVER tools #9872: Pull request #8574 synchronize by remi-delmas-3000
January 24, 2025 01:40 11m 50s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 24, 2025 01:40 11m 50s
CONTRATCS: force success for necessary pointer predicates Build Xen with CPROVER tools #9871: Pull request #8574 synchronize by remi-delmas-3000
January 23, 2025 22:32 11m 56s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 22:32 11m 56s
CONTRATCS: force success for necessary pointer predicates Build Xen with CPROVER tools #9870: Pull request #8574 synchronize by remi-delmas-3000
January 23, 2025 22:11 13m 33s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 22:11 13m 33s
CONTRATCS: force success for necessary pointer predicates Build Xen with CPROVER tools #9869: Pull request #8574 opened by remi-delmas-3000
January 23, 2025 21:54 13m 10s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 21:54 13m 10s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Xen with CPROVER tools #9868: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:53 13m 8s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:53 13m 8s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Xen with CPROVER tools #9867: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:40 12m 3s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:40 12m 3s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Xen with CPROVER tools #9866: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:03 12m 40s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:03 12m 40s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Xen with CPROVER tools #9865: Pull request #8573 opened by remi-delmas-3000
January 22, 2025 17:10 12m 29s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 17:10 12m 29s
CONTRACTS: allow pointer predicates to fail in assume contexts Build Xen with CPROVER tools #9864: Pull request #8562 synchronize by remi-delmas-3000
January 21, 2025 16:00 12m 8s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 21, 2025 16:00 12m 8s
CONTRACTS: allow pointer predicates to fail in assume contexts Build Xen with CPROVER tools #9863: Pull request #8562 synchronize by remi-delmas-3000
January 21, 2025 06:47 15m 37s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 21, 2025 06:47 15m 37s
CONTRACTS: allow pointer predicates to fail in assume contexts Build Xen with CPROVER tools #9862: Pull request #8562 synchronize by remi-delmas-3000
January 21, 2025 06:16 20m 50s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 21, 2025 06:16 20m 50s
Add aarch64 (Arm 64-bit) CI job Build Xen with CPROVER tools #9861: Pull request #8572 synchronize by tautschnig
January 20, 2025 15:30 12m 8s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 15:30 12m 8s
Add aarch64 (Arm 64-bit) CI job Build Xen with CPROVER tools #9860: Pull request #8572 synchronize by tautschnig
January 20, 2025 13:58 11m 58s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 13:58 11m 58s
Add aarch64 (Arm 64-bit) CI job Build Xen with CPROVER tools #9859: Pull request #8572 synchronize by tautschnig
January 20, 2025 13:52 11m 51s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 13:52 11m 51s
Add aarch64 (Arm 64-bit) CI job Build Xen with CPROVER tools #9858: Pull request #8572 synchronize by tautschnig
January 20, 2025 12:32 21m 30s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 12:32 21m 30s
Add aarch64 (Arm 64-bit) CI job Build Xen with CPROVER tools #9857: Pull request #8572 opened by tautschnig
January 20, 2025 12:30 21m 4s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 12:30 21m 4s
CONTRACTS: allow pointer predicates to fail in assume contexts Build Xen with CPROVER tools #9856: Pull request #8562 synchronize by remi-delmas-3000
January 17, 2025 23:30 11m 57s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 17, 2025 23:30 11m 57s