Skip to content

Actions: diffblue/cbmc

Actions

Performance Benchmarking

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

introduce __CPROVER_map type Performance Benchmarking #1037: Pull request #7096 synchronize by kroening
January 9, 2025 02:21 18m 53s map_type
map_type
January 9, 2025 02:21 18m 53s
introduce __CPROVER_map type Performance Benchmarking #1036: Pull request #7096 synchronize by kroening
January 9, 2025 02:20 18m 27s map_type
map_type
January 9, 2025 02:20 18m 27s
Add IEEE 754 TiesToAway rounding mode Performance Benchmarking #1035: Pull request #8515 synchronize by kroening
January 9, 2025 01:22 18m 17s TiesToAway
TiesToAway
January 9, 2025 01:22 18m 17s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Performance Benchmarking #1034: Pull request #8550 synchronize by kroening
January 9, 2025 01:16 19m 34s ieee_float_valuet
ieee_float_valuet
January 9, 2025 01:16 19m 34s
Merge pull request #8559 from xokdvium/dev/fix-char-traits-utf32 Performance Benchmarking #1033: Commit 36b2335 pushed by tautschnig
January 7, 2025 19:49 14m 39s develop
develop
January 7, 2025 19:49 14m 39s
util: Replace std::basic_string<unsigned> with std::basic_string<char32_t> Performance Benchmarking #1032: Pull request #8559 synchronize by xokdvium
January 7, 2025 18:54 15m 9s xokdvium:dev/fix-char-traits-utf32
xokdvium:dev/fix-char-traits-utf32
January 7, 2025 18:54 15m 9s
util: Replace std::basic_string<unsigned> with std::basic_string<char32_t> Performance Benchmarking #1031: Pull request #8559 opened by xokdvium
January 6, 2025 18:48 15m 50s xokdvium:dev/fix-char-traits-utf32
xokdvium:dev/fix-char-traits-utf32
January 6, 2025 18:48 15m 50s
Introduce floatbv_round_to_integral_exprt Performance Benchmarking #1030: Pull request #8538 synchronize by kroening
January 6, 2025 16:53 28m 19s round_to_integral
round_to_integral
January 6, 2025 16:53 28m 19s
line number for files with no newline Performance Benchmarking #1029: Pull request #8558 synchronize by kroening
January 6, 2025 14:28 19m 26s parser_line_no
parser_line_no
January 6, 2025 14:28 19m 26s
line number for files with no newline Performance Benchmarking #1028: Pull request #8558 opened by kroening
January 6, 2025 10:07 15m 34s parser_line_no
parser_line_no
January 6, 2025 10:07 15m 34s
Merge pull request #8553 from peterschrammel/ps/compile-java-regressi… Performance Benchmarking #1027: Commit 5ae1452 pushed by peterschrammel
January 6, 2025 09:30 26m 22s develop
develop
January 6, 2025 09:30 26m 22s
Compile Java regression test sources (5/n) Performance Benchmarking #1026: Pull request #8556 synchronize by peterschrammel
January 5, 2025 16:25 15m 3s peterschrammel:ps/compile-java-regression-test-sources5
peterschrammel:ps/compile-java-regression-test-sources5
January 5, 2025 16:25 15m 3s
Compile Java regression test sources (5/n) Performance Benchmarking #1025: Pull request #8556 synchronize by peterschrammel
January 5, 2025 14:56 14m 41s peterschrammel:ps/compile-java-regression-test-sources5
peterschrammel:ps/compile-java-regression-test-sources5
January 5, 2025 14:56 14m 41s
Compile Java regression test sources (4/n) Performance Benchmarking #1024: Pull request #8553 synchronize by peterschrammel
January 4, 2025 18:04 15m 29s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
January 4, 2025 18:04 15m 29s
Compile Java regression test sources (5/n) Performance Benchmarking #1023: Pull request #8556 opened by peterschrammel
January 4, 2025 18:03 14m 11s peterschrammel:ps/compile-java-regression-test-sources5
peterschrammel:ps/compile-java-regression-test-sources5
January 4, 2025 18:03 14m 11s
Compile Java regression test sources (4/n) Performance Benchmarking #1022: Pull request #8553 synchronize by peterschrammel
January 4, 2025 13:09 13m 34s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
January 4, 2025 13:09 13m 34s
Compile Java regression test sources (4/n) Performance Benchmarking #1021: Pull request #8553 synchronize by peterschrammel
January 4, 2025 13:03 15m 11s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
January 4, 2025 13:03 15m 11s
Merge pull request #8554 from remi-delmas-3000/contracts-MIR-storage-… Performance Benchmarking #1020: Commit 1e99418 pushed by tautschnig
January 3, 2025 21:26 14m 3s develop
develop
January 3, 2025 21:26 14m 3s
Compile Java regression test sources (4/n) Performance Benchmarking #1019: Pull request #8553 synchronize by peterschrammel
January 3, 2025 20:48 14m 34s peterschrammel:ps/compile-java-regression-test-sources4
peterschrammel:ps/compile-java-regression-test-sources4
January 3, 2025 20:48 14m 34s
CONTRACTS: ignore __CPROVER_dead_object assignments Performance Benchmarking #1018: Pull request #8554 synchronize by remi-delmas-3000
January 3, 2025 17:54 15m 37s remi-delmas-3000:contracts-MIR-storage-live-dead
remi-delmas-3000:contracts-MIR-storage-live-dead
January 3, 2025 17:54 15m 37s
CONTRACTS: ignore __CPROVER_dead_object assignments Performance Benchmarking #1017: Pull request #8554 opened by remi-delmas-3000
January 3, 2025 17:45 14m 44s remi-delmas-3000:contracts-MIR-storage-live-dead
remi-delmas-3000:contracts-MIR-storage-live-dead
January 3, 2025 17:45 14m 44s
Split ieee_floatt into ieee_float_valuet and ieee_floatt Performance Benchmarking #1016: Pull request #8550 synchronize by kroening
January 3, 2025 14:34 17m 23s ieee_float_valuet
ieee_float_valuet
January 3, 2025 14:34 17m 23s
Merge pull request #8546 from diffblue/show-local-bitvector Performance Benchmarking #1015: Commit 7b45085 pushed by tautschnig
January 3, 2025 13:12 41m 47s develop
develop
January 3, 2025 13:12 41m 47s
Merge pull request #8549 from peterschrammel/ps/compile-java-regressi… Performance Benchmarking #1014: Commit 189e49b pushed by tautschnig
January 3, 2025 13:10 26m 34s develop
develop
January 3, 2025 13:10 26m 34s
Merge pull request #8548 from peterschrammel/ps/compile-java-regressi… Performance Benchmarking #1013: Commit 736fb6e pushed by tautschnig
January 3, 2025 13:09 27m 38s develop
develop
January 3, 2025 13:09 27m 38s