Skip to content

Actions: diffblue/cbmc

Actions

Syntactic checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
syntax-checks.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 Syntactic checks #3090: Pull request #8579 opened by tautschnig
February 3, 2025 11:13 1m 21s tautschnig:bugfixes/field-sensitivity-union
tautschnig:bugfixes/field-sensitivity-union
February 3, 2025 11:13 1m 21s
Value-set based dereferencing: fix simplified handling of *(p + i) Syntactic checks #3089: Pull request #8578 synchronize by tautschnig
January 31, 2025 21:40 1m 31s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 31, 2025 21:40 1m 31s
Value-set based dereferencing: fix simplified handling of *(p + i) Syntactic checks #3088: Pull request #8578 synchronize by tautschnig
January 31, 2025 14:15 1m 25s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 31, 2025 14:15 1m 25s
CONTRACTS: ensure at most one predicate per pointer Syntactic checks #3087: Pull request #8577 synchronize by remi-delmas-3000
January 31, 2025 05:14 1m 30s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 31, 2025 05:14 1m 30s
CONTRACTS: ensure at most one predicate per pointer Syntactic checks #3086: Pull request #8577 synchronize by remi-delmas-3000
January 31, 2025 04:30 1m 30s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 31, 2025 04:30 1m 30s
Value-set based dereferencing: fix simplified handling of *(p + i) Syntactic checks #3085: Pull request #8578 opened by tautschnig
January 30, 2025 11:59 1m 29s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 30, 2025 11:59 1m 29s
Add IEEE 754 TiesToAway rounding mode Syntactic checks #3084: Pull request #8515 synchronize by kroening
January 26, 2025 16:51 1m 38s TiesToAway
TiesToAway
January 26, 2025 16:51 1m 38s
CONTRACTS: ensure at most one predicate per pointer Syntactic checks #3083: Pull request #8577 opened by remi-delmas-3000
January 25, 2025 21:55 1m 18s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 25, 2025 21:55 1m 18s
CONTRACTS: separation checks using nondet demonic variable Syntactic checks #3082: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:22 1m 19s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:22 1m 19s
CONTRACTS: separation checks using nondet demonic variable Syntactic checks #3081: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:20 1m 22s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:20 1m 22s
CONTRACTS: separation checks using nondet demonic variable Syntactic checks #3080: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 1m 22s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 1m 22s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Syntactic checks #3079: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 1m 24s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 1m 24s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Syntactic checks #3078: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 1m 43s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 1m 43s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Syntactic checks #3077: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 1m 24s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 1m 24s
CONTRACTS: force success for necessary pointer predicates Syntactic checks #3076: Pull request #8574 synchronize by remi-delmas-3000
January 24, 2025 01:40 1m 25s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 24, 2025 01:40 1m 25s
CONTRACTS: force success for necessary pointer predicates Syntactic checks #3075: Pull request #8574 synchronize by remi-delmas-3000
January 23, 2025 22:32 1m 25s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 22:32 1m 25s
CONTRACTS: force success for necessary pointer predicates Syntactic checks #3074: Pull request #8574 synchronize by remi-delmas-3000
January 23, 2025 22:11 1m 24s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 22:11 1m 24s
CONTRACTS: force success for necessary pointer predicates Syntactic checks #3073: Pull request #8574 opened by remi-delmas-3000
January 23, 2025 21:54 1m 22s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 21:54 1m 22s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Syntactic checks #3072: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:53 1m 24s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:53 1m 24s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Syntactic checks #3071: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:40 1m 21s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:40 1m 21s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Syntactic checks #3070: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:03 1m 22s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:03 1m 22s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Syntactic checks #3069: Pull request #8573 opened by remi-delmas-3000
January 22, 2025 17:10 1m 30s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 17:10 1m 30s
CONTRACTS: allow pointer predicates to fail in assume contexts Syntactic checks #3068: Pull request #8562 synchronize by remi-delmas-3000
January 21, 2025 16:00 1m 34s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 21, 2025 16:00 1m 34s
CONTRACTS: allow pointer predicates to fail in assume contexts Syntactic checks #3067: Pull request #8562 synchronize by remi-delmas-3000
January 21, 2025 06:47 1m 25s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 21, 2025 06:47 1m 25s
CONTRACTS: allow pointer predicates to fail in assume contexts Syntactic checks #3066: Pull request #8562 synchronize by remi-delmas-3000
January 21, 2025 06:16 1m 40s remi-delmas-3000:contracts-allow-is-fresh-to-fail
remi-delmas-3000:contracts-allow-is-fresh-to-fail
January 21, 2025 06:16 1m 40s