Skip to content

Actions: diffblue/cbmc

Actions

Publish CBMC documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
publish.yaml
2,197 workflow runs
2,197 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CONTRACTS: ensure at most one predicate per pointer Publish CBMC documentation #5705: Pull request #8577 synchronize by remi-delmas-3000
January 31, 2025 05:14 2m 27s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 31, 2025 05:14 2m 27s
CONTRACTS: ensure at most one predicate per pointer Publish CBMC documentation #5704: Pull request #8577 synchronize by remi-delmas-3000
January 31, 2025 04:30 2m 24s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 31, 2025 04:30 2m 24s
Value-set based dereferencing must consider possible index expressions Publish CBMC documentation #5703: Pull request #8578 opened by tautschnig
January 30, 2025 11:59 2m 35s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 30, 2025 11:59 2m 35s
Merge pull request #8576 from remi-delmas-3000/contracts-is-fresh-dem… Publish CBMC documentation #5702: Commit 1cc4bc2 pushed by tautschnig
January 29, 2025 09:44 3m 20s develop
develop
January 29, 2025 09:44 3m 20s
Add IEEE 754 TiesToAway rounding mode Publish CBMC documentation #5701: Pull request #8515 synchronize by kroening
January 26, 2025 16:51 2m 32s TiesToAway
TiesToAway
January 26, 2025 16:51 2m 32s
Add IEEE 754 TiesToAway rounding mode Publish CBMC documentation #5700: Commit b6dd050 pushed by kroening
January 26, 2025 16:51 3m 18s TiesToAway
TiesToAway
January 26, 2025 16:51 3m 18s
CONTRACTS: ensure at most one predicate per pointer Publish CBMC documentation #5699: Pull request #8577 opened by remi-delmas-3000
January 25, 2025 21:55 3m 31s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 25, 2025 21:55 3m 31s
CONTRACTS: separation checks using nondet demonic variable Publish CBMC documentation #5698: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:22 2m 40s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:22 2m 40s
CONTRACTS: separation checks using nondet demonic variable Publish CBMC documentation #5697: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:20 3m 22s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:20 3m 22s
CONTRACTS: separation checks using nondet demonic variable Publish CBMC documentation #5696: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 2m 52s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 2m 52s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Publish CBMC documentation #5695: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 2m 35s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 2m 35s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Publish CBMC documentation #5694: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 3m 43s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 3m 43s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Publish CBMC documentation #5693: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 2m 33s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 2m 33s
Merge pull request #8574 from remi-delmas-3000/contracts-predicates-u… Publish CBMC documentation #5692: Commit 3d79560 pushed by tautschnig
January 24, 2025 13:36 2m 52s develop
develop
January 24, 2025 13:36 2m 52s
CONTRATCS: force success for necessary pointer predicates Publish CBMC documentation #5691: Pull request #8574 synchronize by remi-delmas-3000
January 24, 2025 01:40 3m 20s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 24, 2025 01:40 3m 20s
CONTRATCS: force success for necessary pointer predicates Publish CBMC documentation #5690: Pull request #8574 synchronize by remi-delmas-3000
January 23, 2025 22:32 4m 3s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 22:32 4m 3s
CONTRATCS: force success for necessary pointer predicates Publish CBMC documentation #5689: Pull request #8574 synchronize by remi-delmas-3000
January 23, 2025 22:11 4m 4s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 22:11 4m 4s
CONTRATCS: force success for necessary pointer predicates Publish CBMC documentation #5688: Pull request #8574 opened by remi-delmas-3000
January 23, 2025 21:54 3m 22s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 21:54 3m 22s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Publish CBMC documentation #5687: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:53 2m 50s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:53 2m 50s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Publish CBMC documentation #5686: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:40 2m 29s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:40 2m 29s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Publish CBMC documentation #5685: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:03 3m 14s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:03 3m 14s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Publish CBMC documentation #5684: Pull request #8573 opened by remi-delmas-3000
January 22, 2025 17:10 2m 29s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 17:10 2m 29s
Merge pull request #8562 from remi-delmas-3000/contracts-allow-is-fre… Publish CBMC documentation #5683: Commit d4757e2 pushed by tautschnig
January 22, 2025 11:48 2m 46s develop
develop
January 22, 2025 11:48 2m 46s
CONTRACTS: allow pointer predicates to fail in assume contexts Publish CBMC documentation #5682: Pull request #8562 synchronize by remi-delmas-3000
January 21, 2025 16:00 3m 8s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 21, 2025 16:00 3m 8s
CONTRACTS: allow pointer predicates to fail in assume contexts Publish CBMC documentation #5681: Pull request #8562 synchronize by remi-delmas-3000
January 21, 2025 06:47 8m 27s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 21, 2025 06:47 8m 27s