Skip to content

Actions: diffblue/cbmc

Actions

Performance Benchmarking

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix goto-symex' auto-objects feature Performance Benchmarking #111: Pull request #7177 synchronize by tautschnig
April 23, 2024 08:53 1h 25m 30s tautschnig:feature/auto-objects
tautschnig:feature/auto-objects
April 23, 2024 08:53 1h 25m 30s
goto-symex: apply_condition should not change L2 index Performance Benchmarking #110: Pull request #6993 synchronize by tautschnig
April 23, 2024 08:52 1h 21m 36s tautschnig:cleanup/no-spurious-assignments
tautschnig:cleanup/no-spurious-assignments
April 23, 2024 08:52 1h 21m 36s
Avoid duplicate "warning:" or "error:" output Performance Benchmarking #109: Pull request #1359 synchronize by tautschnig
April 23, 2024 08:50 1h 5m 0s tautschnig:duplicate-warning
tautschnig:duplicate-warning
April 23, 2024 08:50 1h 5m 0s
Value set dereferencing: do not treat struct prefixes as equal Performance Benchmarking #108: Pull request #5876 synchronize by tautschnig
April 23, 2024 08:48 1h 3m 11s tautschnig:no-struct-prefix
tautschnig:no-struct-prefix
April 23, 2024 08:48 1h 3m 11s
Perform simplification of not_exprt as preorder step Performance Benchmarking #107: Pull request #7996 synchronize by tautschnig
April 23, 2024 08:46 33m 10s tautschnig:simplify-not-preorder
tautschnig:simplify-not-preorder
April 23, 2024 08:46 33m 10s
Conditionally simplify use of if-then-else conditions Performance Benchmarking #106: Pull request #8042 synchronize by tautschnig
April 23, 2024 08:45 30m 58s tautschnig:features/simplify-if-then-else
tautschnig:features/simplify-if-then-else
April 23, 2024 08:45 30m 58s
Merge pull request #8183 from diffblue/dependabot/github_actions/code… Performance Benchmarking #105: Commit 1ed7b2f pushed by tautschnig
April 23, 2024 08:40 30m 30s develop
develop
April 23, 2024 08:40 30m 30s
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
ProTip! You can narrow down the results and go further in time using created:<2024-03-28 or the other filters available.