Skip to content

Actions: diffblue/cbmc

Actions

Build and Test on *BSD

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
bsd.yaml
1,575 workflow runs
1,575 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Split ieee_floatt into ieee_float_valuet and ieee_floatt Build and Test on *BSD #1587: Pull request #8550 synchronize by kroening
February 4, 2025 21:27 14m 37s ieee_float_valuet
ieee_float_valuet
February 4, 2025 21:27 14m 37s
Merge pull request #8580 from diffblue/floatbv-codeowners Build and Test on *BSD #1586: Commit 3c4ffae pushed by kroening
February 4, 2025 21:25 7m 32s develop
develop
February 4, 2025 21:25 7m 32s
add @peterschrammel as code owner to /src/solvers/floatbv Build and Test on *BSD #1585: Pull request #8580 synchronize by kroening
February 4, 2025 16:29 14m 34s floatbv-codeowners
floatbv-codeowners
February 4, 2025 16:29 14m 34s
add @peterschrammel as code owner to /src/solvers/floatbv Build and Test on *BSD #1584: Pull request #8580 opened by kroening
February 4, 2025 16:27 10m 11s floatbv-codeowners
floatbv-codeowners
February 4, 2025 16:27 10m 11s
Field sensitivity: account for array size in all index expressions Build and Test on *BSD #1583: Pull request #8579 opened by tautschnig
February 3, 2025 11:13 8m 1s tautschnig:bugfixes/field-sensitivity-union
tautschnig:bugfixes/field-sensitivity-union
February 3, 2025 11:13 8m 1s
Value-set based dereferencing: fix simplified handling of *(p + i) Build and Test on *BSD #1582: Pull request #8578 synchronize by tautschnig
January 31, 2025 21:40 7m 29s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 31, 2025 21:40 7m 29s
Value-set based dereferencing: fix simplified handling of *(p + i) Build and Test on *BSD #1581: Pull request #8578 synchronize by tautschnig
January 31, 2025 14:15 7m 49s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 31, 2025 14:15 7m 49s
Merge pull request #8577 from remi-delmas-3000/contracts-ptr-pred-ctx Build and Test on *BSD #1580: Commit c66ffbe pushed by remi-delmas-3000
January 31, 2025 07:22 7m 57s develop
develop
January 31, 2025 07:22 7m 57s
CONTRACTS: ensure at most one predicate per pointer Build and Test on *BSD #1579: Pull request #8577 synchronize by remi-delmas-3000
January 31, 2025 05:14 7m 25s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 31, 2025 05:14 7m 25s
CONTRACTS: ensure at most one predicate per pointer Build and Test on *BSD #1578: Pull request #8577 synchronize by remi-delmas-3000
January 31, 2025 04:30 7m 52s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 31, 2025 04:30 7m 52s
Value-set based dereferencing: fix simplified handling of *(p + i) Build and Test on *BSD #1577: Pull request #8578 opened by tautschnig
January 30, 2025 11:59 10m 40s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 30, 2025 11:59 10m 40s
Merge pull request #8576 from remi-delmas-3000/contracts-is-fresh-dem… Build and Test on *BSD #1576: Commit 1cc4bc2 pushed by tautschnig
January 29, 2025 09:44 41m 48s develop
develop
January 29, 2025 09:44 41m 48s
Add IEEE 754 TiesToAway rounding mode Build and Test on *BSD #1575: Pull request #8515 synchronize by kroening
January 26, 2025 16:51 41m 16s TiesToAway
TiesToAway
January 26, 2025 16:51 41m 16s
CONTRACTS: ensure at most one predicate per pointer Build and Test on *BSD #1574: Pull request #8577 opened by remi-delmas-3000
January 25, 2025 21:55 41m 58s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 25, 2025 21:55 41m 58s
CONTRACTS: separation checks using nondet demonic variable Build and Test on *BSD #1573: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:22 8m 11s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:22 8m 11s
CONTRACTS: separation checks using nondet demonic variable Build and Test on *BSD #1572: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:20 8m 2s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:20 8m 2s
CONTRACTS: separation checks using nondet demonic variable Build and Test on *BSD #1571: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 41m 43s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 41m 43s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test on *BSD #1570: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 7m 26s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 7m 26s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test on *BSD #1569: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 7m 31s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 7m 31s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build and Test on *BSD #1568: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 7m 52s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 7m 52s
Merge pull request #8574 from remi-delmas-3000/contracts-predicates-u… Build and Test on *BSD #1567: Commit 3d79560 pushed by tautschnig
January 24, 2025 13:36 7m 42s develop
develop
January 24, 2025 13:36 7m 42s
CONTRATCS: force success for necessary pointer predicates Build and Test on *BSD #1566: Pull request #8574 synchronize by remi-delmas-3000
January 24, 2025 01:40 7m 24s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 24, 2025 01:40 7m 24s
CONTRATCS: force success for necessary pointer predicates Build and Test on *BSD #1565: Pull request #8574 synchronize by remi-delmas-3000
January 23, 2025 22:32 7m 40s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 22:32 7m 40s
CONTRATCS: force success for necessary pointer predicates Build and Test on *BSD #1564: Pull request #8574 synchronize by remi-delmas-3000
January 23, 2025 22:11 9m 11s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 22:11 9m 11s
CONTRATCS: force success for necessary pointer predicates Build and Test on *BSD #1563: Pull request #8574 opened by remi-delmas-3000
January 23, 2025 21:54 9m 51s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 21:54 9m 51s