Skip to content

Actions: diffblue/cbmc

Actions

Run CSmith

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
csmith.yaml
1,435 workflow runs
1,435 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Introduce floatbv_round_to_integral_exprt Run CSmith #9231: Pull request #8538 synchronize by kroening
February 5, 2025 10:48 13m 5s round_to_integral
round_to_integral
February 5, 2025 10:48 13m 5s
Add IEEE 754 TiesToAway rounding mode Run CSmith #9230: Pull request #8515 synchronize by kroening
February 5, 2025 10:43 14m 9s TiesToAway
TiesToAway
February 5, 2025 10:43 14m 9s
Add IEEE 754 TiesToAway rounding mode Run CSmith #9229: Pull request #8515 synchronize by kroening
February 4, 2025 21:30 29m 29s TiesToAway
TiesToAway
February 4, 2025 21:30 29m 29s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Run CSmith #9228: Pull request #8550 synchronize by kroening
February 4, 2025 21:27 6m 55s ieee_float_valuet
ieee_float_valuet
February 4, 2025 21:27 6m 55s
add @peterschrammel as code owner to /src/solvers/floatbv Run CSmith #9227: Pull request #8580 synchronize by kroening
February 4, 2025 16:29 7m 22s floatbv-codeowners
floatbv-codeowners
February 4, 2025 16:29 7m 22s
add @peterschrammel as code owner to /src/solvers/floatbv Run CSmith #9226: Pull request #8580 opened by kroening
February 4, 2025 16:27 6m 45s floatbv-codeowners
floatbv-codeowners
February 4, 2025 16:27 6m 45s
Field sensitivity: account for array size in all index expressions Run CSmith #9225: Pull request #8579 opened by tautschnig
February 3, 2025 11:13 4m 46s tautschnig:bugfixes/field-sensitivity-union
tautschnig:bugfixes/field-sensitivity-union
February 3, 2025 11:13 4m 46s
Value-set based dereferencing must consider possible index expressions Run CSmith #9224: Pull request #8578 synchronize by tautschnig
January 31, 2025 21:40 4m 23s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 31, 2025 21:40 4m 23s
Value-set based dereferencing must consider possible index expressions Run CSmith #9223: Pull request #8578 synchronize by tautschnig
January 31, 2025 14:15 5m 54s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 31, 2025 14:15 5m 54s
CONTRACTS: ensure at most one predicate per pointer Run CSmith #9222: 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 Run CSmith #9221: Pull request #8577 synchronize by remi-delmas-3000
January 31, 2025 04:30 4m 33s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 31, 2025 04:30 4m 33s
Value-set based dereferencing must consider possible index expressions Run CSmith #9220: Pull request #8578 opened by tautschnig
January 30, 2025 11:59 6m 20s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 30, 2025 11:59 6m 20s
Add IEEE 754 TiesToAway rounding mode Run CSmith #9219: Pull request #8515 synchronize by kroening
January 26, 2025 16:51 18m 36s TiesToAway
TiesToAway
January 26, 2025 16:51 18m 36s
CONTRACTS: ensure at most one predicate per pointer Run CSmith #9218: Pull request #8577 opened by remi-delmas-3000
January 25, 2025 21:55 12m 58s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 25, 2025 21:55 12m 58s
CONTRACTS: separation checks using nondet demonic variable Run CSmith #9217: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:22 4m 59s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:22 4m 59s
CONTRACTS: separation checks using nondet demonic variable Run CSmith #9216: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:20 3m 10s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:20 3m 10s
CONTRACTS: separation checks using nondet demonic variable Run CSmith #9215: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 16m 3s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 16m 3s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Run CSmith #9214: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 3m 51s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 3m 51s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Run CSmith #9213: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 2m 54s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 2m 54s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Run CSmith #9212: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 15:59 4m 17s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 15:59 4m 17s
CONTRATCS: force success for necessary pointer predicates Run CSmith #9211: Pull request #8574 synchronize by remi-delmas-3000
January 24, 2025 01:40 4m 15s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 24, 2025 01:40 4m 15s
CONTRATCS: force success for necessary pointer predicates Run CSmith #9210: Pull request #8574 synchronize by remi-delmas-3000
January 23, 2025 22:32 4m 51s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 22:32 4m 51s
CONTRATCS: force success for necessary pointer predicates Run CSmith #9209: Pull request #8574 synchronize by remi-delmas-3000
January 23, 2025 22:11 5m 39s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 22:11 5m 39s
CONTRATCS: force success for necessary pointer predicates Run CSmith #9208: Pull request #8574 opened by remi-delmas-3000
January 23, 2025 21:54 5m 42s remi-delmas-3000:contracts-predicates-units-no-fail
remi-delmas-3000:contracts-predicates-units-no-fail
January 23, 2025 21:54 5m 42s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Run CSmith #9207: Pull request #8573 synchronize by remi-delmas-3000
January 22, 2025 18:53 4m 38s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 22, 2025 18:53 4m 38s