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,215 workflow runs
1,215 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 Linux partially with CPROVER tools #7992: Pull request #8579 opened by tautschnig
February 3, 2025 11:13 4m 21s tautschnig:bugfixes/field-sensitivity-union
tautschnig:bugfixes/field-sensitivity-union
February 3, 2025 11:13 4m 21s
Value-set based dereferencing: fix simplified handling of *(p + i) Build Linux partially with CPROVER tools #7991: Pull request #8578 synchronize by tautschnig
January 31, 2025 21:40 4m 11s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 31, 2025 21:40 4m 11s
Value-set based dereferencing: fix simplified handling of *(p + i) Build Linux partially with CPROVER tools #7990: Pull request #8578 synchronize by tautschnig
January 31, 2025 14:15 4m 11s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 31, 2025 14:15 4m 11s
CONTRACTS: ensure at most one predicate per pointer Build Linux partially with CPROVER tools #7989: Pull request #8577 synchronize by remi-delmas-3000
January 31, 2025 05:14 4m 25s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 31, 2025 05:14 4m 25s
CONTRACTS: ensure at most one predicate per pointer Build Linux partially with CPROVER tools #7988: Pull request #8577 synchronize by remi-delmas-3000
January 31, 2025 04:30 4m 25s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 31, 2025 04:30 4m 25s
Value-set based dereferencing: fix simplified handling of *(p + i) Build Linux partially with CPROVER tools #7987: Pull request #8578 opened by tautschnig
January 30, 2025 11:59 5m 16s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 30, 2025 11:59 5m 16s
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
CONTRACTS: 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
CONTRACTS: 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
CONTRACTS: 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
CONTRACTS: 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