Skip to content

Actions: diffblue/cbmc

Actions

Performance Benchmarking

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
performance.yaml
861 workflow runs
861 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enable IPO / LTO and -O3 Performance Benchmarking #792: Pull request #8146 synchronize by rurban
October 31, 2024 11:01 6m 49s rurban:lto
rurban:lto
October 31, 2024 11:01 6m 49s
Enable IPO / LTO and -O3 Performance Benchmarking #791: Pull request #8146 synchronize by rurban
October 31, 2024 10:52 6m 4s rurban:lto
rurban:lto
October 31, 2024 10:52 6m 4s
library-check: fixup missing __builtin_ffs check Performance Benchmarking #790: Pull request #8145 synchronize by rurban
October 31, 2024 10:24 53s rurban:ffs
rurban:ffs
October 31, 2024 10:24 53s
Enable IPO / LTO and -O3 Performance Benchmarking #789: Pull request #8146 synchronize by rurban
October 31, 2024 10:24 6m 29s rurban:lto
rurban:lto
October 31, 2024 10:24 6m 29s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Performance Benchmarking #788: Pull request #8490 opened by qinheping
October 31, 2024 08:17 16m 17s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
October 31, 2024 08:17 16m 17s
[CONTRACTS] Detect loop locals with goto_rw in DFCC Performance Benchmarking #787: Pull request #8489 opened by qinheping
October 31, 2024 08:12 15m 52s qinheping:better_loop_locals_detect
qinheping:better_loop_locals_detect
October 31, 2024 08:12 15m 52s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Performance Benchmarking #786: Pull request #8465 synchronize by yvizel
October 30, 2024 12:48 8m 38s yvizel:develop
yvizel:develop
October 30, 2024 12:48 8m 38s
Compile Java regression test sources (1/n) Performance Benchmarking #785: Pull request #8487 opened by peterschrammel
October 29, 2024 14:54 15m 30s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
October 29, 2024 14:54 15m 30s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Performance Benchmarking #784: Pull request #8465 synchronize by yvizel
October 29, 2024 12:01 2m 7s yvizel:develop
yvizel:develop
October 29, 2024 12:01 2m 7s
Merge pull request #8486 from qinheping/infer_def_member Performance Benchmarking #781: Commit 20a1ecf pushed by qinheping
October 28, 2024 17:50 16m 17s develop
develop
October 28, 2024 17:50 16m 17s
[CONTRACTS] Support alias of member pointers in loop assigns inference Performance Benchmarking #780: Pull request #8486 synchronize by qinheping
October 28, 2024 17:16 14m 56s qinheping:infer_def_member
qinheping:infer_def_member
October 28, 2024 17:16 14m 56s
Higher radix multiplier encoding Performance Benchmarking #779: Pull request #7991 synchronize by tautschnig
October 28, 2024 09:37 6h 0m 27s tautschnig:feature/multiplier-encoding
tautschnig:feature/multiplier-encoding
October 28, 2024 09:37 6h 0m 27s
[CONTRACTS] Support alias of member pointers in loop assigns inference Performance Benchmarking #776: Pull request #8486 opened by qinheping
October 28, 2024 06:26 16m 0s qinheping:infer_def_member
qinheping:infer_def_member
October 28, 2024 06:26 16m 0s
Merge pull request #8482 from tautschnig/remove-macos-12 Performance Benchmarking #775: Commit f2a7665 pushed by tautschnig
October 22, 2024 21:44 14m 50s develop
develop
October 22, 2024 21:44 14m 50s
Remove macos-12 CI job Performance Benchmarking #774: Pull request #8482 synchronize by tautschnig
October 22, 2024 21:11 15m 24s tautschnig:remove-macos-12
tautschnig:remove-macos-12
October 22, 2024 21:11 15m 24s
Merge pull request #8382 from tautschnig/macos-14 Performance Benchmarking #773: Commit 60bb14c pushed by kroening
October 22, 2024 12:58 27m 14s develop
develop
October 22, 2024 12:58 27m 14s
Remove macos-12 CI job Performance Benchmarking #772: Pull request #8482 opened by tautschnig
October 22, 2024 12:55 28m 4s tautschnig:remove-macos-12
tautschnig:remove-macos-12
October 22, 2024 12:55 28m 4s
CI: add macos-14 (macOS on M1) job Performance Benchmarking #771: Pull request #8382 synchronize by tautschnig
October 22, 2024 06:04 27m 46s tautschnig:macos-14
tautschnig:macos-14
October 22, 2024 06:04 27m 46s
zero extension expression Performance Benchmarking #768: Pull request #8442 synchronize by kroening
October 3, 2024 00:32 30m 6s zero_extend
zero_extend
October 3, 2024 00:32 30m 6s
Clarify usage of history variables in error messages Performance Benchmarking #767: Pull request #8456 reopened by qinheping
October 2, 2024 14:26 15m 30s qinheping:issues/8453
qinheping:issues/8453
October 2, 2024 14:26 15m 30s
Merge pull request #8477 from diffblue/bitvector_width_biginteger Performance Benchmarking #766: Commit 83922b2 pushed by kroening
September 29, 2024 20:08 26m 58s develop
develop
September 29, 2024 20:08 26m 58s
bitvector_typet: set width from mp_integer Performance Benchmarking #765: Pull request #8477 synchronize by kroening
September 28, 2024 17:25 26m 55s bitvector_width_biginteger
bitvector_width_biginteger
September 28, 2024 17:25 26m 55s
bitvector_typet: set width from mp_integer Performance Benchmarking #764: Pull request #8477 opened by kroening
September 27, 2024 23:11 6m 28s bitvector_width_biginteger
bitvector_width_biginteger
September 27, 2024 23:11 6m 28s
Merge pull request #8470 from tautschnig/loop_entry-arrays Performance Benchmarking #763: Commit 4bd5c0a pushed by tautschnig
September 27, 2024 20:36 14m 32s develop
develop
September 27, 2024 20:36 14m 32s
Merge pull request #8473 from diffblue/format-range_typet Performance Benchmarking #762: Commit bcda5a9 pushed by kroening
September 26, 2024 12:36 14m 15s develop
develop
September 26, 2024 12:36 14m 15s