Skip to content

Actions: diffblue/cbmc

Actions

Build Linux partially with CPROVER tools

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build-and-test-Linux.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 Linux partially with CPROVER tools #7986: Pull request #8515 synchronize by kroening
January 26, 2025 16:51 13m 4s TiesToAway
TiesToAway
January 26, 2025 16:51 13m 4s
CONTRACTS: ensure at most one predicate per pointer Build Linux partially with CPROVER tools #7985: Pull request #8577 opened by remi-delmas-3000
January 25, 2025 21:55 13m 9s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 25, 2025 21:55 13m 9s
CONTRACTS: separation checks using nondet demonic variable Build Linux partially with CPROVER tools #7984: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:22 4m 14s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:22 4m 14s
CONTRACTS: separation checks using nondet demonic variable Build Linux partially with CPROVER tools #7983: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:20 4m 10s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:20 4m 10s
CONTRACTS: separation checks using nondet demonic variable Build Linux partially with CPROVER tools #7982: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 13m 23s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 13m 23s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Linux partially with CPROVER tools #7981: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 4m 7s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 4m 7s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Linux partially with CPROVER tools #7980: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 4m 21s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 4m 21s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Linux partially with CPROVER tools #7979: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 4m 16s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 4m 16s
CONTRATCS: force success for necessary pointer predicates Build Linux partially with CPROVER tools #7978: Pull request #8574 synchronize by remi-delmas-3000
January 24, 2025 01:40 4m 24s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 24, 2025 01:40 4m 24s
CONTRATCS: force success for necessary pointer predicates Build Linux partially with CPROVER tools #7977: Pull request #8574 synchronize by remi-delmas-3000
January 23, 2025 22:32 4m 15s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 22:32 4m 15s
CONTRATCS: force success for necessary pointer predicates Build Linux partially with CPROVER tools #7976: Pull request #8574 synchronize by remi-delmas-3000
January 23, 2025 22:11 4m 22s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 22:11 4m 22s
CONTRATCS: force success for necessary pointer predicates Build Linux partially with CPROVER tools #7975: Pull request #8574 opened by remi-delmas-3000
January 23, 2025 21:54 4m 19s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 21:54 4m 19s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Linux partially with CPROVER tools #7974: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:53 4m 5s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:53 4m 5s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Linux partially with CPROVER tools #7973: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:40 4m 16s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:40 4m 16s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Linux partially with CPROVER tools #7972: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:03 4m 42s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:03 4m 42s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Linux partially with CPROVER tools #7971: Pull request #8573 opened by remi-delmas-3000
January 22, 2025 17:10 4m 50s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 17:10 4m 50s
CONTRACTS: allow pointer predicates to fail in assume contexts Build Linux partially with CPROVER tools #7970: Pull request #8562 synchronize by remi-delmas-3000
January 21, 2025 16:00 4m 12s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 21, 2025 16:00 4m 12s
CONTRACTS: allow pointer predicates to fail in assume contexts Build Linux partially with CPROVER tools #7969: Pull request #8562 synchronize by remi-delmas-3000
January 21, 2025 06:47 12m 56s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 21, 2025 06:47 12m 56s
CONTRACTS: allow pointer predicates to fail in assume contexts Build Linux partially with CPROVER tools #7968: Pull request #8562 synchronize by remi-delmas-3000
January 21, 2025 06:16 13m 33s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 21, 2025 06:16 13m 33s
Add aarch64 (Arm 64-bit) CI job Build Linux partially with CPROVER tools #7967: Pull request #8572 synchronize by tautschnig
January 20, 2025 15:30 4m 8s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 15:30 4m 8s
Add aarch64 (Arm 64-bit) CI job Build Linux partially with CPROVER tools #7966: Pull request #8572 synchronize by tautschnig
January 20, 2025 13:58 4m 9s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 13:58 4m 9s
Add aarch64 (Arm 64-bit) CI job Build Linux partially with CPROVER tools #7965: Pull request #8572 synchronize by tautschnig
January 20, 2025 13:52 4m 7s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 13:52 4m 7s
Add aarch64 (Arm 64-bit) CI job Build Linux partially with CPROVER tools #7964: Pull request #8572 synchronize by tautschnig
January 20, 2025 12:32 29m 36s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 12:32 29m 36s
Add aarch64 (Arm 64-bit) CI job Build Linux partially with CPROVER tools #7963: Pull request #8572 opened by tautschnig
January 20, 2025 12:30 29m 48s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 12:30 29m 48s
CONTRACTS: allow pointer predicates to fail in assume contexts Build Linux partially with CPROVER tools #7962: Pull request #8562 synchronize by remi-delmas-3000
January 17, 2025 23:30 4m 54s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 17, 2025 23:30 4m 54s