Skip to content

Actions: diffblue/cbmc

Actions

Build Doxygen Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doxygen-check.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 Doxygen Documentation #9464: Pull request #8515 synchronize by kroening
January 26, 2025 16:51 2m 30s TiesToAway
TiesToAway
January 26, 2025 16:51 2m 30s
CONTRACTS: ensure at most one predicate per pointer Build Doxygen Documentation #9463: Pull request #8577 opened by remi-delmas-3000
January 25, 2025 21:55 1m 36s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 25, 2025 21:55 1m 36s
CONTRACTS: separation checks using nondet demonic variable Build Doxygen Documentation #9462: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:22 1m 40s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:22 1m 40s
CONTRACTS: separation checks using nondet demonic variable Build Doxygen Documentation #9461: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:20 1m 40s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:20 1m 40s
CONTRACTS: separation checks using nondet demonic variable Build Doxygen Documentation #9460: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 1m 33s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 1m 33s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Doxygen Documentation #9459: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 2m 40s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 2m 40s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Doxygen Documentation #9458: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 1m 41s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 1m 41s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Doxygen Documentation #9457: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 1m 38s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 1m 38s
CONTRATCS: force success for necessary pointer predicates Build Doxygen Documentation #9456: Pull request #8574 synchronize by remi-delmas-3000
January 24, 2025 01:40 1m 47s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 24, 2025 01:40 1m 47s
CONTRATCS: force success for necessary pointer predicates Build Doxygen Documentation #9455: Pull request #8574 synchronize by remi-delmas-3000
January 23, 2025 22:32 2m 3s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 22:32 2m 3s
CONTRATCS: force success for necessary pointer predicates Build Doxygen Documentation #9454: Pull request #8574 synchronize by remi-delmas-3000
January 23, 2025 22:11 2m 17s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 22:11 2m 17s
CONTRATCS: force success for necessary pointer predicates Build Doxygen Documentation #9453: Pull request #8574 opened by remi-delmas-3000
January 23, 2025 21:54 2m 45s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 21:54 2m 45s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Doxygen Documentation #9452: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:53 1m 40s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:53 1m 40s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Doxygen Documentation #9451: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:40 1m 38s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:40 1m 38s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Doxygen Documentation #9450: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:03 1m 45s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:03 1m 45s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Build Doxygen Documentation #9449: Pull request #8573 opened by remi-delmas-3000
January 22, 2025 17:10 1m 44s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 17:10 1m 44s
CONTRACTS: allow pointer predicates to fail in assume contexts Build Doxygen Documentation #9448: Pull request #8562 synchronize by remi-delmas-3000
January 21, 2025 16:00 1m 45s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 21, 2025 16:00 1m 45s
CONTRACTS: allow pointer predicates to fail in assume contexts Build Doxygen Documentation #9447: Pull request #8562 synchronize by remi-delmas-3000
January 21, 2025 06:47 1m 36s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 21, 2025 06:47 1m 36s
CONTRACTS: allow pointer predicates to fail in assume contexts Build Doxygen Documentation #9446: Pull request #8562 synchronize by remi-delmas-3000
January 21, 2025 06:16 1m 44s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 21, 2025 06:16 1m 44s
Add aarch64 (Arm 64-bit) CI job Build Doxygen Documentation #9445: Pull request #8572 synchronize by tautschnig
January 20, 2025 15:30 1m 42s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 15:30 1m 42s
Add aarch64 (Arm 64-bit) CI job Build Doxygen Documentation #9444: Pull request #8572 synchronize by tautschnig
January 20, 2025 13:58 1m 37s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 13:58 1m 37s
Add aarch64 (Arm 64-bit) CI job Build Doxygen Documentation #9443: Pull request #8572 synchronize by tautschnig
January 20, 2025 13:52 1m 37s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 13:52 1m 37s
Add aarch64 (Arm 64-bit) CI job Build Doxygen Documentation #9442: Pull request #8572 synchronize by tautschnig
January 20, 2025 12:32 1m 39s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 12:32 1m 39s
Add aarch64 (Arm 64-bit) CI job Build Doxygen Documentation #9441: Pull request #8572 opened by tautschnig
January 20, 2025 12:30 1m 41s tautschnig:arm-ci
tautschnig:arm-ci
January 20, 2025 12:30 1m 41s
CONTRACTS: allow pointer predicates to fail in assume contexts Build Doxygen Documentation #9440: Pull request #8562 synchronize by remi-delmas-3000
January 17, 2025 23:30 1m 38s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 17, 2025 23:30 1m 38s