Skip to content

Pull requests: goblint/bench

New pull request New
9 Open 18 Closed
9 Open 18 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Tracking Benchmark Changes for Thesis goblint Goblint-specific problem
#65 opened Apr 21, 2024 by michael-schwarz • Draft
Explanations on how to make the silver searcher analysis more precise goblint Goblint-specific problem
#59 opened Aug 16, 2023 by karoliineh • Draft
10 tasks done
@karoliineh
6
Automatic Generation of Test Cases for Incremental Static Analysis
#58 opened Jun 29, 2023 by J2000A Loading…
4
Add incremental benchmarking scripts
#44 opened Nov 23, 2022 by jerhard Loading…
1 task done
2
2
Add ldv regression benchmarks to incremental benchmarks new benchmark New benchmark to analyze
#35 opened Aug 11, 2022 by jerhard • Draft
2
Add regenerated Klever Linux 5.5 concurrency safety benchmarks new benchmark New benchmark to analyze
#27 opened Apr 14, 2022 by sim642 • Draft
3 tasks
1
Add DDVerify models and benchmarks new benchmark New benchmark to analyze
#26 opened Apr 11, 2022 by sim642 • Draft
2 of 8 tasks
@sim642
Add Linux net driver benchmarks from Locksmith papers goblint Goblint-specific problem new benchmark New benchmark to analyze
#24 opened Mar 28, 2022 by sim642 • Draft
1
Original benchmarks from ldv-commits-races new benchmark New benchmark to analyze
#23 opened Mar 5, 2022 by vesalvojdani Loading…
9 of 18 tasks
@vesalvojdani
1
ProTip! Exclude everything labeled bug with -label:bug.