Skip to content

Actions: diffblue/cbmc

Actions

Performance Benchmarking

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #8665 from tautschnig/remove-is_null_pointer Performance Benchmarking #1430: Commit 48490fb pushed by kroening
June 30, 2025 10:02 19m 25s develop
develop
June 30, 2025 10:02 19m 25s
Stop using GNU parallel on windows-2022 runner Performance Benchmarking #1429: Pull request #8669 synchronize by tautschnig
June 27, 2025 10:37 18m 58s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 10:37 18m 58s
Stop using GNU parallel on windows-2022 runner Performance Benchmarking #1428: Pull request #8669 synchronize by tautschnig
June 27, 2025 09:22 19m 33s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 09:22 19m 33s
Stop using GNU parallel on windows-2022 runner Performance Benchmarking #1427: Pull request #8669 synchronize by tautschnig
June 27, 2025 08:42 20m 0s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 08:42 20m 0s
Stop using GNU parallel on windows-2022 runner Performance Benchmarking #1426: Pull request #8669 opened by tautschnig
June 27, 2025 08:17 28m 56s tautschnig:debug-vs-2022-parallel
tautschnig:debug-vs-2022-parallel
June 27, 2025 08:17 28m 56s
Merge pull request #8666 from tautschnig/remove-make_with_expr Performance Benchmarking #1425: Commit 4cc3f54 pushed by kroening
June 27, 2025 04:53 19m 11s develop
develop
June 27, 2025 04:53 19m 11s
Fix support for with_exprt with more than 3 operands Performance Benchmarking #1424: Pull request #8668 opened by tautschnig
June 26, 2025 20:12 28m 19s tautschnig:with-expr-fixes
tautschnig:with-expr-fixes
June 26, 2025 20:12 28m 19s
Merge pull request #8667 from tautschnig/release-6.7.0 Performance Benchmarking #1423: Commit 5d1438a pushed by tautschnig
June 26, 2025 11:52 15m 58s develop
develop
June 26, 2025 11:52 15m 58s
Release CBMC 6.7.0 Performance Benchmarking #1422: Pull request #8667 synchronize by tautschnig
June 25, 2025 20:51 16m 4s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 20:51 16m 4s
Release CBMC 6.7.0 Performance Benchmarking #1421: Pull request #8667 synchronize by tautschnig
June 25, 2025 20:35 16m 45s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 20:35 16m 45s
Release CBMC 6.7.0 Performance Benchmarking #1420: Pull request #8667 opened by tautschnig
June 25, 2025 18:57 17m 13s tautschnig:release-6.7.0
tautschnig:release-6.7.0
June 25, 2025 18:57 17m 13s
Merge pull request #8649 from tautschnig/fix-quantifier-conversion Performance Benchmarking #1419: Commit eeb8689 pushed by remi-delmas-3000
June 25, 2025 18:40 16m 6s develop
develop
June 25, 2025 18:40 16m 6s
Merge pull request #8627 from tautschnig/simp_mult_offset Performance Benchmarking #1418: Commit 2bba498 pushed by tautschnig
June 25, 2025 18:23 25m 10s develop
develop
June 25, 2025 18:23 25m 10s
Merge pull request #8450 from tautschnig/no-make_and Performance Benchmarking #1417: Commit c524281 pushed by tautschnig
June 25, 2025 18:21 26m 19s develop
develop
June 25, 2025 18:21 26m 19s
Field sensitivity: account for array size in all index expressions Performance Benchmarking #1416: Pull request #8579 synchronize by tautschnig
June 25, 2025 10:51 29m 12s tautschnig:bugfixes/field-sensitivity-union
tautschnig:bugfixes/field-sensitivity-union
June 25, 2025 10:51 29m 12s
Deprecate make_and in favour of conjunction(expr, expr) Performance Benchmarking #1415: Pull request #8450 synchronize by tautschnig
June 25, 2025 09:40 27m 28s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 09:40 27m 28s
Deprecate make_and in favour of conjunction(expr, expr) Performance Benchmarking #1414: Pull request #8450 synchronize by tautschnig
June 25, 2025 08:46 54m 40s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 08:46 54m 40s
Simplify multiple-of-element size access to arrays Performance Benchmarking #1413: Pull request #8627 synchronize by tautschnig
June 25, 2025 08:43 43m 5s tautschnig:simp_mult_offset
tautschnig:simp_mult_offset
June 25, 2025 08:43 43m 5s
Merge pull request #8572 from tautschnig/arm-ci Performance Benchmarking #1412: Commit 5cd085b pushed by tautschnig
June 25, 2025 08:42 23m 28s develop
develop
June 25, 2025 08:42 23m 28s
Move is_{true,false,zero,one} from exprt to constant_exprt Performance Benchmarking #1411: Pull request #8664 synchronize by tautschnig
June 25, 2025 08:37 39m 44s tautschnig:constant_exprt-is
tautschnig:constant_exprt-is
June 25, 2025 08:37 39m 44s
Remove deprecated make_with_expr Performance Benchmarking #1410: Pull request #8666 opened by tautschnig
June 25, 2025 08:33 39m 51s tautschnig:remove-make_with_expr
tautschnig:remove-make_with_expr
June 25, 2025 08:33 39m 51s
Remove deprecated is_null_pointer Performance Benchmarking #1409: Pull request #8665 opened by tautschnig
June 25, 2025 08:31 29m 51s tautschnig:remove-is_null_pointer
tautschnig:remove-is_null_pointer
June 25, 2025 08:31 29m 51s
Deprecate make_and in favour of conjunction(expr, expr) Performance Benchmarking #1408: Pull request #8450 synchronize by tautschnig
June 25, 2025 08:25 36m 40s tautschnig:no-make_and
tautschnig:no-make_and
June 25, 2025 08:25 36m 40s
Move is_{true,false,zero,one} from exprt to constant_exprt Performance Benchmarking #1407: Pull request #8664 opened by tautschnig
June 25, 2025 08:13 37m 33s tautschnig:constant_exprt-is
tautschnig:constant_exprt-is
June 25, 2025 08:13 37m 33s
C library: Refine and improve stdio models Performance Benchmarking #1406: Pull request #8043 synchronize by tautschnig
June 25, 2025 07:43 26m 55s tautschnig:bugfixes/stdio
tautschnig:bugfixes/stdio
June 25, 2025 07:43 26m 55s