Skip to content

Actions: diffblue/cbmc

Actions

Performance Benchmarking

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #8259 from diffblue/range-constants Performance Benchmarking #104: Commit e64ef86 pushed by tautschnig
April 22, 2024 12:54 30m 28s develop
develop
April 22, 2024 12:54 30m 28s
format_expr can now print range-typed constants Performance Benchmarking #103: Pull request #8259 opened by kroening
April 21, 2024 20:14 29m 34s range-constants
range-constants
April 21, 2024 20:14 29m 34s
Merge pull request #8241 from tautschnig/cleanup/multiplier-invariant Performance Benchmarking #102: Commit e8ebba3 pushed by kroening
April 20, 2024 19:58 30m 2s develop
develop
April 20, 2024 19:58 30m 2s
introduce 'fatal assertions' Performance Benchmarking #101: Pull request #8226 synchronize by kroening
April 19, 2024 15:16 31m 20s fatal-assertions
fatal-assertions
April 19, 2024 15:16 31m 20s
introduce 'fatal assertions' Performance Benchmarking #100: Pull request #8226 synchronize by kroening
April 19, 2024 14:16 45m 17s fatal-assertions
fatal-assertions
April 19, 2024 14:16 45m 17s
Merge pull request #8229 from tautschnig/cleanup/no-follow-goto-instr… Performance Benchmarking #99: Commit 1ca18f2 pushed by tautschnig
April 18, 2024 08:31 44m 33s develop
develop
April 18, 2024 08:31 44m 33s
Merge pull request #8230 from tautschnig/cleanup/no-follow-goto-programs Performance Benchmarking #98: Commit 37a2a8e pushed by tautschnig
April 18, 2024 08:30 45m 38s develop
develop
April 18, 2024 08:30 45m 38s
Goto crossing scopes: fix scope tree entry of conditions Performance Benchmarking #97: Pull request #8187 synchronize by tautschnig
April 15, 2024 10:34 44m 14s tautschnig:bugfixes/no-spurious-loops
tautschnig:bugfixes/no-spurious-loops
April 15, 2024 10:34 44m 14s
Merge pull request #8255 from rurban/manual Performance Benchmarking #96: Commit 03f604e pushed by tautschnig
April 5, 2024 14:32 29m 45s develop
develop
April 5, 2024 14:32 29m 45s
goto-analyzer.md: fix typos in examples Performance Benchmarking #95: Pull request #8255 opened by rurban
April 5, 2024 09:12 30m 7s rurban:manual
rurban:manual
April 5, 2024 09:12 30m 7s
introduce 'fatal assertions' Performance Benchmarking #94: Pull request #8226 synchronize by kroening
April 3, 2024 20:01 44m 29s fatal-assertions
fatal-assertions
April 3, 2024 20:01 44m 29s
introduce 'fatal assertions' Performance Benchmarking #93: Pull request #8226 synchronize by kroening
April 2, 2024 17:02 45m 52s fatal-assertions
fatal-assertions
April 2, 2024 17:02 45m 52s
Merge pull request #8236 from tautschnig/cleanup/no-follow-util Performance Benchmarking #92: Commit d170659 pushed by kroening
April 2, 2024 14:29 30m 31s develop
develop
April 2, 2024 14:29 30m 31s
Merge pull request #8244 from tautschnig/cleanup/remove-parsert-clear Performance Benchmarking #91: Commit 6ad485d pushed by kroening
April 2, 2024 13:42 46m 2s develop
develop
April 2, 2024 13:42 46m 2s
Move goto_convert files Performance Benchmarking #90: Pull request #8253 synchronize by kroening
April 1, 2024 21:10 30m 27s move-goto-convert
move-goto-convert
April 1, 2024 21:10 30m 27s
Move goto_convert files Performance Benchmarking #89: Pull request #8253 synchronize by kroening
April 1, 2024 21:07 29m 21s move-goto-convert
move-goto-convert
April 1, 2024 21:07 29m 21s
Move goto_convert files Performance Benchmarking #86: Pull request #8253 synchronize by kroening
March 28, 2024 13:29 30m 16s move-goto-convert
move-goto-convert
March 28, 2024 13:29 30m 16s
Move goto_convert files Performance Benchmarking #85: Pull request #8253 synchronize by kroening
March 28, 2024 13:11 31m 0s move-goto-convert
move-goto-convert
March 28, 2024 13:11 31m 0s
Move goto_convert files Performance Benchmarking #84: Pull request #8253 synchronize by kroening
March 27, 2024 19:52 29m 48s move-goto-convert
move-goto-convert
March 27, 2024 19:52 29m 48s
Move goto_convert files Performance Benchmarking #83: Pull request #8253 synchronize by kroening
March 27, 2024 15:43 30m 41s move-goto-convert
move-goto-convert
March 27, 2024 15:43 30m 41s
Goto crossing scopes: fix scope tree entry of conditions Performance Benchmarking #82: Pull request #8187 synchronize by tautschnig
March 27, 2024 10:26 30m 14s tautschnig:bugfixes/no-spurious-loops
tautschnig:bugfixes/no-spurious-loops
March 27, 2024 10:26 30m 14s
analyses: Replace uses of namespacet::follow Performance Benchmarking #81: Pull request #8215 synchronize by tautschnig
March 25, 2024 15:35 29m 41s tautschnig:cleanup/no-follow-analyses
tautschnig:cleanup/no-follow-analyses
March 25, 2024 15:35 29m 41s
Merge pull request #8252 from diffblue/test-pl-failed-test Performance Benchmarking #80: Commit 08b2f2f pushed by tautschnig
March 25, 2024 13:55 46m 37s develop
develop
March 25, 2024 13:55 46m 37s
introduce 'fatal assertions' Performance Benchmarking #79: Pull request #8226 synchronize by kroening
March 24, 2024 21:19 28m 56s fatal-assertions
fatal-assertions
March 24, 2024 21:19 28m 56s
introduce 'fatal assertions' Performance Benchmarking #78: Pull request #8226 synchronize by kroening
March 24, 2024 20:26 29m 47s fatal-assertions
fatal-assertions
March 24, 2024 20:26 29m 47s
ProTip! You can narrow down the results and go further in time using created:<2024-03-24 or the other filters available.