Skip to content

Actions: diffblue/cbmc

Actions

Performance Benchmarking

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
performance.yaml
819 workflow runs
819 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Cadical with preprocessor and local search Performance Benchmarking #844: Pull request #8502 synchronize by kroening
November 11, 2024 11:32 2m 23s cadical-preprocessor
cadical-preprocessor
November 11, 2024 11:32 2m 23s
Cadical with preprocessor and local search Performance Benchmarking #843: Pull request #8502 synchronize by kroening
November 11, 2024 09:49 1m 56s cadical-preprocessor
cadical-preprocessor
November 11, 2024 09:49 1m 56s
Cadical with preprocessor and local search Performance Benchmarking #842: Pull request #8502 synchronize by kroening
November 11, 2024 09:47 48s cadical-preprocessor
cadical-preprocessor
November 11, 2024 09:47 48s
Cadical with preprocessor and local search Performance Benchmarking #841: Pull request #8502 opened by kroening
November 11, 2024 09:44 51s cadical-preprocessor
cadical-preprocessor
November 11, 2024 09:44 51s
Compile Java regression test sources (1/n) Performance Benchmarking #840: Pull request #8487 synchronize by peterschrammel
November 10, 2024 22:25 24m 33s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
November 10, 2024 22:25 24m 33s
Compile Java regression test sources (1/n) Performance Benchmarking #839: Pull request #8487 synchronize by peterschrammel
November 10, 2024 22:19 26m 33s peterschrammel:ps/compile-java-regression-test-sources1
peterschrammel:ps/compile-java-regression-test-sources1
November 10, 2024 22:19 26m 33s
remove duplicate SATCHECK_* defines Performance Benchmarking #838: Pull request #8501 opened by kroening
November 10, 2024 19:39 28m 34s cleanup-SATCHECK-defines
cleanup-SATCHECK-defines
November 10, 2024 19:39 28m 34s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Performance Benchmarking #837: Pull request #8465 synchronize by yvizel
November 10, 2024 12:48 1m 54s yvizel:develop
yvizel:develop
November 10, 2024 12:48 1m 54s
Adding large-step encoding for CHCs in CProver (no [required] changes to the solver) Performance Benchmarking #836: Pull request #8465 synchronize by yvizel
November 10, 2024 12:48 Action required yvizel:develop
yvizel:develop
November 10, 2024 12:48 Action required
Bump com.cedarsoftware:json-io from 4.10.1 to 4.14.1 in /jbmc/regression/jbmc/deterministic_assignments_json Performance Benchmarking #835: Pull request #8500 opened by dependabot bot
November 8, 2024 17:57 27m 39s dependabot/maven/jbmc/regression/jbmc/deterministic_assignments_json/com.cedarsoftware-json-io-4.14.1
dependabot/maven/jbmc/regression/jbmc/deterministic_assignments_json/com.cedarsoftware-json-io-4.14.1
November 8, 2024 17:57 27m 39s
Merge pull request #8497 from tautschnig/pointer-subtraction-back-end Performance Benchmarking #834: Commit 83f61a4 pushed by tautschnig
November 7, 2024 10:23 27m 10s develop
develop
November 7, 2024 10:23 27m 10s
Pointer subtraction in back-end: no need for bounds checking Performance Benchmarking #833: Pull request #8497 synchronize by tautschnig
November 7, 2024 09:20 27m 49s tautschnig:pointer-subtraction-back-end
tautschnig:pointer-subtraction-back-end
November 7, 2024 09:20 27m 49s
Pointer subtraction in back-end: no need for bounds checking Performance Benchmarking #832: Pull request #8497 synchronize by tautschnig
November 7, 2024 09:14 25m 21s tautschnig:pointer-subtraction-back-end
tautschnig:pointer-subtraction-back-end
November 7, 2024 09:14 25m 21s
Pointer subtraction in back-end: no need for bounds checking Performance Benchmarking #831: Pull request #8497 opened by tautschnig
November 6, 2024 21:46 25m 49s tautschnig:pointer-subtraction-back-end
tautschnig:pointer-subtraction-back-end
November 6, 2024 21:46 25m 49s
Merge pull request #8496 from diffblue/fix_update_bit Performance Benchmarking #830: Commit beebdda pushed by tautschnig
November 6, 2024 19:00 25m 15s develop
develop
November 6, 2024 19:00 25m 15s
fix update_bit lowering Performance Benchmarking #829: Pull request #8496 synchronize by kroening
November 6, 2024 18:04 25m 44s fix_update_bit
fix_update_bit
November 6, 2024 18:04 25m 44s
fix update_bit lowering Performance Benchmarking #828: Pull request #8496 synchronize by kroening
November 6, 2024 16:53 29m 27s fix_update_bit
fix_update_bit
November 6, 2024 16:53 29m 27s
fix update_bit lowering Performance Benchmarking #827: Pull request #8496 opened by kroening
November 6, 2024 16:50 26m 34s fix_update_bit
fix_update_bit
November 6, 2024 16:50 26m 34s
Merge pull request #8495 from tautschnig/release-6.4.0 Performance Benchmarking #826: Commit 4f56b6a pushed by tautschnig
November 6, 2024 11:11 28m 7s develop
develop
November 6, 2024 11:11 28m 7s
Release CBMC 6.4.0 Performance Benchmarking #825: Pull request #8495 opened by tautschnig
November 6, 2024 10:19 29m 13s tautschnig:release-6.4.0
tautschnig:release-6.4.0
November 6, 2024 10:19 29m 13s
Merge pull request #8490 from qinheping/DFCC_loop_assigns_infer Performance Benchmarking #824: Commit f5f0672 pushed by qinheping
November 5, 2024 16:09 28m 0s develop
develop
November 5, 2024 16:09 28m 0s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Performance Benchmarking #823: Pull request #8490 synchronize by qinheping
November 5, 2024 15:38 28m 19s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 15:38 28m 19s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Performance Benchmarking #822: Pull request #8490 synchronize by qinheping
November 5, 2024 15:27 27m 14s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 15:27 27m 14s
goto-symex: assumed pointer equalities must update value set Performance Benchmarking #821: Pull request #8494 synchronize by tautschnig
November 5, 2024 08:01 27m 18s tautschnig:bugfixes/8492-value-set
tautschnig:bugfixes/8492-value-set
November 5, 2024 08:01 27m 18s
[CONTRACTS] DFCC loop assigns infererence with functions inlined Performance Benchmarking #820: Pull request #8490 synchronize by qinheping
November 5, 2024 06:34 27m 15s qinheping:DFCC_loop_assigns_infer
qinheping:DFCC_loop_assigns_infer
November 5, 2024 06:34 27m 15s