Skip to content

Actions: diffblue/cbmc

Actions

Performance Benchmarking

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Value-set supported simplifier: add object_size, is_invalid_pointer Performance Benchmarking #1528: Pull request #8704 synchronize by tautschnig
August 7, 2025 11:45 18m 41s tautschnig:simp-more-predicates
tautschnig:simp-more-predicates
August 7, 2025 11:45 18m 41s
Value-set supported simplifier: add object_size, is_invalid_pointer Performance Benchmarking #1527: Pull request #8704 synchronize by tautschnig
August 6, 2025 17:48 31m 52s tautschnig:simp-more-predicates
tautschnig:simp-more-predicates
August 6, 2025 17:48 31m 52s
Rewrite byte_extract from multi-dimensional array Performance Benchmarking #1526: Pull request #8705 opened by tautschnig
August 6, 2025 17:22 28m 14s tautschnig:byte_extract-multi-dim-array
tautschnig:byte_extract-multi-dim-array
August 6, 2025 17:22 28m 14s
Value-set supported simplifier: add object_size, is_invalid_pointer Performance Benchmarking #1525: Pull request #8704 opened by tautschnig
August 6, 2025 17:19 30m 39s tautschnig:simp-more-predicates
tautschnig:simp-more-predicates
August 6, 2025 17:19 30m 39s
Work around Z3 not producing models for some quantified expressions Performance Benchmarking #1524: Pull request #8703 synchronize by tautschnig
August 5, 2025 17:26 16m 48s tautschnig:trying-to-fix-z3-with-quantifiers
tautschnig:trying-to-fix-z3-with-quantifiers
August 5, 2025 17:26 16m 48s
Work around Z3 not producing models for some quantified expressions Performance Benchmarking #1523: Pull request #8703 opened by tautschnig
July 31, 2025 08:38 28m 30s tautschnig:trying-to-fix-z3-with-quantifiers
tautschnig:trying-to-fix-z3-with-quantifiers
July 31, 2025 08:38 28m 30s
Merge pull request #7584 from tautschnig/features/asm-renaming-type-c… Performance Benchmarking #1522: Commit 6b6c8d3 pushed by tautschnig
July 30, 2025 09:13 17m 54s develop
develop
July 30, 2025 09:13 17m 54s
C front-end: tolerate type differences with asm renaming Performance Benchmarking #1521: Pull request #7584 synchronize by tautschnig
July 30, 2025 07:19 20m 45s tautschnig:features/asm-renaming-type-conflict
tautschnig:features/asm-renaming-type-conflict
July 30, 2025 07:19 20m 45s
Symex guards: avoid unnecessary duplicate negation Performance Benchmarking #1520: Pull request #8041 synchronize by tautschnig
July 29, 2025 18:33 44m 21s tautschnig:cleanup/symex-duplicate-neg
tautschnig:cleanup/symex-duplicate-neg
July 29, 2025 18:33 44m 21s
Value set dereferencing: do not treat struct prefixes as equal Performance Benchmarking #1519: Pull request #5876 synchronize by tautschnig
July 29, 2025 18:32 41m 0s tautschnig:no-struct-prefix
tautschnig:no-struct-prefix
July 29, 2025 18:32 41m 0s
Move rounding_mode_identifier() to configt Performance Benchmarking #1518: Pull request #6555 synchronize by tautschnig
July 29, 2025 18:32 18m 31s tautschnig:rounding-mode-symbol
tautschnig:rounding-mode-symbol
July 29, 2025 18:32 18m 31s
goto-symex: apply_condition should not change L2 index Performance Benchmarking #1517: Pull request #6993 synchronize by tautschnig
July 29, 2025 16:09 36m 55s tautschnig:cleanup/no-spurious-assignments
tautschnig:cleanup/no-spurious-assignments
July 29, 2025 16:09 36m 55s
C front-end: tolerate type differences with asm renaming Performance Benchmarking #1516: Pull request #7584 synchronize by tautschnig
July 29, 2025 15:46 30m 6s tautschnig:features/asm-renaming-type-conflict
tautschnig:features/asm-renaming-type-conflict
July 29, 2025 15:46 30m 6s
Linking: fix up all types before handling functions or objects Performance Benchmarking #1515: Pull request #7579 synchronize by tautschnig
July 29, 2025 15:46 29m 54s tautschnig:bugfixes/linking
tautschnig:bugfixes/linking
July 29, 2025 15:46 29m 54s
Mimic GCC/Clang simplification behaviour when type checking ?: Performance Benchmarking #1514: Pull request #7959 synchronize by tautschnig
July 29, 2025 15:45 15m 6s tautschnig:features/gcc-clang-ite-simp
tautschnig:features/gcc-clang-ite-simp
July 29, 2025 15:45 15m 6s
Merge pull request #8701 from tautschnig/extend-timeout Performance Benchmarking #1513: Commit 22d25d1 pushed by tautschnig
July 29, 2025 15:43 28m 12s develop
develop
July 29, 2025 15:43 28m 12s
C front-end: tolerate type differences with asm renaming Performance Benchmarking #1512: Pull request #7584 synchronize by tautschnig
July 29, 2025 13:47 34m 5s tautschnig:features/asm-renaming-type-conflict
tautschnig:features/asm-renaming-type-conflict
July 29, 2025 13:47 34m 5s
Linking: fix up all types before handling functions or objects Performance Benchmarking #1511: Pull request #7579 synchronize by tautschnig
July 29, 2025 13:42 40m 3s tautschnig:bugfixes/linking
tautschnig:bugfixes/linking
July 29, 2025 13:42 40m 3s
Add support for MergeSat Performance Benchmarking #1510: Pull request #6439 synchronize by tautschnig
July 29, 2025 13:39 28m 10s tautschnig:mergesat
tautschnig:mergesat
July 29, 2025 13:39 28m 10s
Introduce bitst and bytest to avoid bit/byte mix-up Performance Benchmarking #1509: Pull request #7413 synchronize by tautschnig
July 29, 2025 13:32 39m 3s tautschnig:feature/bits-bytes
tautschnig:feature/bits-bytes
July 29, 2025 13:32 39m 3s
Extend cbmc-incr-oneloop timeout with CMake Performance Benchmarking #1508: Pull request #8701 opened by tautschnig
July 29, 2025 13:04 26m 51s tautschnig:extend-timeout
tautschnig:extend-timeout
July 29, 2025 13:04 26m 51s
Consistently use unsigned/size_t in big-int [blocks: #2310] Performance Benchmarking #1507: Pull request #2452 synchronize by tautschnig
July 28, 2025 19:35 43m 28s tautschnig:vs-big-int
tautschnig:vs-big-int
July 28, 2025 19:35 43m 28s
Message handler: add quote_begin, quote_end commands Performance Benchmarking #1506: Pull request #5696 synchronize by tautschnig
July 28, 2025 19:34 38m 9s tautschnig:quote-command
tautschnig:quote-command
July 28, 2025 19:34 38m 9s
Consistently use unsigned/size_t in big-int [blocks: #2310] Performance Benchmarking #1505: Pull request #2452 synchronize by tautschnig
July 28, 2025 19:27 43m 36s tautschnig:vs-big-int
tautschnig:vs-big-int
July 28, 2025 19:27 43m 36s
Value set dereferencing: do not treat struct prefixes as equal Performance Benchmarking #1504: Pull request #5876 synchronize by tautschnig
July 28, 2025 19:25 37m 12s tautschnig:no-struct-prefix
tautschnig:no-struct-prefix
July 28, 2025 19:25 37m 12s