Skip to content

Actions: diffblue/cbmc

Actions

Build Doxygen Documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doxygen-check.yaml
1,471 workflow runs
1,471 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 Doxygen Documentation #9470: Pull request #8579 opened by tautschnig
February 3, 2025 11:13 1m 36s tautschnig:bugfixes/field-sensitivity-union
tautschnig:bugfixes/field-sensitivity-union
February 3, 2025 11:13 1m 36s
Value-set based dereferencing must consider possible index expressions Build Doxygen Documentation #9469: Pull request #8578 synchronize by tautschnig
January 31, 2025 21:40 1m 37s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 31, 2025 21:40 1m 37s
Value-set based dereferencing must consider possible index expressions Build Doxygen Documentation #9468: Pull request #8578 synchronize by tautschnig
January 31, 2025 14:15 1m 41s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 31, 2025 14:15 1m 41s
CONTRACTS: ensure at most one predicate per pointer Build Doxygen Documentation #9467: Pull request #8577 synchronize by remi-delmas-3000
January 31, 2025 05:14 1m 34s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 31, 2025 05:14 1m 34s
CONTRACTS: ensure at most one predicate per pointer Build Doxygen Documentation #9466: Pull request #8577 synchronize by remi-delmas-3000
January 31, 2025 04:30 1m 37s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 31, 2025 04:30 1m 37s
Value-set based dereferencing must consider possible index expressions Build Doxygen Documentation #9465: Pull request #8578 opened by tautschnig
January 30, 2025 11:59 1m 43s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 30, 2025 11:59 1m 43s
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