Skip to content

Actions: diffblue/cbmc

Actions

Performance Benchmarking

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
performance.yaml
1,099 workflow runs
1,099 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #8563 from tautschnig/miniz-update Performance Benchmarking #1133: Commit 66004dc pushed by tautschnig
February 6, 2025 15:15 28m 22s develop
develop
February 6, 2025 15:15 28m 22s
Introduce floatbv_round_to_integral_exprt Performance Benchmarking #1132: Pull request #8538 synchronize by kroening
February 5, 2025 10:48 40m 50s round_to_integral
round_to_integral
February 5, 2025 10:48 40m 50s
Add IEEE 754 TiesToAway rounding mode Performance Benchmarking #1131: Pull request #8515 synchronize by kroening
February 5, 2025 10:43 31m 26s TiesToAway
TiesToAway
February 5, 2025 10:43 31m 26s
Merge pull request #8550 from diffblue/ieee_float_valuet Performance Benchmarking #1130: Commit af4e2e4 pushed by kroening
February 4, 2025 22:03 17m 53s develop
develop
February 4, 2025 22:03 17m 53s
Add IEEE 754 TiesToAway rounding mode Performance Benchmarking #1129: Pull request #8515 synchronize by kroening
February 4, 2025 21:30 45m 22s TiesToAway
TiesToAway
February 4, 2025 21:30 45m 22s
Merge pull request #8537 from diffblue/smt2-range-fix Performance Benchmarking #1128: Commit f2489e3 pushed by kroening
February 4, 2025 21:29 27m 45s develop
develop
February 4, 2025 21:29 27m 45s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Performance Benchmarking #1127: Pull request #8550 synchronize by kroening
February 4, 2025 21:27 18m 7s ieee_float_valuet
ieee_float_valuet
February 4, 2025 21:27 18m 7s
Merge pull request #8580 from diffblue/floatbv-codeowners Performance Benchmarking #1126: Commit 3c4ffae pushed by kroening
February 4, 2025 21:25 15m 30s develop
develop
February 4, 2025 21:25 15m 30s
add @peterschrammel as code owner to /src/solvers/floatbv Performance Benchmarking #1125: Pull request #8580 synchronize by kroening
February 4, 2025 16:29 17m 10s floatbv-codeowners
floatbv-codeowners
February 4, 2025 16:29 17m 10s
add @peterschrammel as code owner to /src/solvers/floatbv Performance Benchmarking #1124: Pull request #8580 opened by kroening
February 4, 2025 16:27 16m 0s floatbv-codeowners
floatbv-codeowners
February 4, 2025 16:27 16m 0s
Field sensitivity: account for array size in all index expressions Performance Benchmarking #1123: Pull request #8579 opened by tautschnig
February 3, 2025 11:13 15m 22s tautschnig:bugfixes/field-sensitivity-union
tautschnig:bugfixes/field-sensitivity-union
February 3, 2025 11:13 15m 22s
Value-set based dereferencing must consider possible index expressions Performance Benchmarking #1122: Pull request #8578 synchronize by tautschnig
January 31, 2025 21:40 14m 48s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 31, 2025 21:40 14m 48s
Value-set based dereferencing must consider possible index expressions Performance Benchmarking #1121: Pull request #8578 synchronize by tautschnig
January 31, 2025 14:15 14m 46s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 31, 2025 14:15 14m 46s
Merge pull request #8577 from remi-delmas-3000/contracts-ptr-pred-ctx Performance Benchmarking #1120: Commit c66ffbe pushed by remi-delmas-3000
January 31, 2025 07:22 15m 7s develop
develop
January 31, 2025 07:22 15m 7s
CONTRACTS: ensure at most one predicate per pointer Performance Benchmarking #1119: Pull request #8577 synchronize by remi-delmas-3000
January 31, 2025 05:14 15m 18s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 31, 2025 05:14 15m 18s
CONTRACTS: ensure at most one predicate per pointer Performance Benchmarking #1118: Pull request #8577 synchronize by remi-delmas-3000
January 31, 2025 04:30 14m 53s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 31, 2025 04:30 14m 53s
Value-set based dereferencing must consider possible index expressions Performance Benchmarking #1117: Pull request #8578 opened by tautschnig
January 30, 2025 11:59 16m 13s tautschnig:bugfixes/8570-pointer-and-array
tautschnig:bugfixes/8570-pointer-and-array
January 30, 2025 11:59 16m 13s
Merge pull request #8576 from remi-delmas-3000/contracts-is-fresh-dem… Performance Benchmarking #1116: Commit 1cc4bc2 pushed by tautschnig
January 29, 2025 09:44 29m 24s develop
develop
January 29, 2025 09:44 29m 24s
Add IEEE 754 TiesToAway rounding mode Performance Benchmarking #1115: Pull request #8515 synchronize by kroening
January 26, 2025 16:51 30m 48s TiesToAway
TiesToAway
January 26, 2025 16:51 30m 48s
CONTRACTS: ensure at most one predicate per pointer Performance Benchmarking #1114: Pull request #8577 opened by remi-delmas-3000
January 25, 2025 21:55 27m 44s remi-delmas-3000:contracts-ptr-pred-ctx
remi-delmas-3000:contracts-ptr-pred-ctx
January 25, 2025 21:55 27m 44s
CONTRACTS: separation checks using nondet demonic variable Performance Benchmarking #1113: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:22 15m 55s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:22 15m 55s
CONTRACTS: separation checks using nondet demonic variable Performance Benchmarking #1112: Pull request #8576 synchronize by remi-delmas-3000
January 25, 2025 21:20 15m 6s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 21:20 15m 6s
CONTRACTS: separation checks using nondet demonic variable Performance Benchmarking #1111: Pull request #8576 opened by remi-delmas-3000
January 25, 2025 19:49 16m 8s remi-delmas-3000:contracts-is-fresh-demonic
remi-delmas-3000:contracts-is-fresh-demonic
January 25, 2025 19:49 16m 8s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Performance Benchmarking #1110: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 20:05 16m 25s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 20:05 16m 25s
CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks Performance Benchmarking #1109: Pull request #8573 synchronize by remi-delmas-3000
January 24, 2025 16:06 16m 7s remi-delmas-3000:contracts-obj-set--demonic
remi-delmas-3000:contracts-obj-set--demonic
January 24, 2025 16:06 16m 7s