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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Field sensitivity: account for array size in all index expressions Build Xen with CPROVER tools #9886: Pull request #8579 opened by tautschnig
February 3, 2025 11:13 14m 9s tautschnig:bugfixes/field-sensitivity-union
tautschnig:bugfixes/field-sensitivity-union
February 3, 2025 11:13 14m 9s
Value-set based dereferencing must consider possible index expressions Build Xen with CPROVER tools #9885: Pull request #8578 synchronize by tautschnig
January 31, 2025 21:40 12m 29s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 31, 2025 21:40 12m 29s
Value-set based dereferencing must consider possible index expressions Build Xen with CPROVER tools #9884: Pull request #8578 synchronize by tautschnig
January 31, 2025 14:15 12m 20s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 31, 2025 14:15 12m 20s
CONTRACTS: ensure at most one predicate per pointer Build Xen with CPROVER tools #9883: Pull request #8577 synchronize by remi-delmas-3000
January 31, 2025 05:14 12m 1s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 31, 2025 05:14 12m 1s
CONTRACTS: ensure at most one predicate per pointer Build Xen with CPROVER tools #9882: Pull request #8577 synchronize by remi-delmas-3000
January 31, 2025 04:30 12m 7s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 31, 2025 04:30 12m 7s
Value-set based dereferencing must consider possible index expressions Build Xen with CPROVER tools #9881: Pull request #8578 opened by tautschnig
January 30, 2025 11:59 13m 20s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 30, 2025 11:59 13m 20s
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