Skip to content

Issues: goblint/bench

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

36 Open 2 Closed
36 Open 2 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

git goblint Goblint-specific problem parsing-succeeds project Project to analyze
#62 opened Oct 6, 2023 by sim642
1
SCTBench new benchmark New benchmark to analyze
#61 opened Sep 29, 2023 by sim642
nidhugg (atomic operations support) new benchmark New benchmark to analyze parsing-succeeds
#60 opened Sep 27, 2023 by karoliineh
2
Investigate races and deadlock benchmarks used by DarC new benchmark New benchmark to analyze
#56 opened May 9, 2023 by michael-schwarz
Combined pthread programs use 32bit architecture bug
#55 opened Apr 12, 2023 by sim642
Failing compilation of random.c during benchmark testing on macOS goblint Goblint-specific problem
#50 opened Jan 5, 2023 by gabryon99
CPU Spec as benchmarks? new benchmark New benchmark to analyze
#49 opened Dec 5, 2022 by michael-schwarz
3
Add support for chrony to incremental benchmarking scripts
#48 opened Nov 29, 2022 by jerhard
1
@jerhard
Add support for figlet to incremental benchmarking scripts
#47 opened Nov 29, 2022 by jerhard
1
@jerhard
Structure the repository
#46 opened Nov 23, 2022 by michael-schwarz
Extend incremental benchmark scripts to allow analyzing local repositories
#45 opened Nov 23, 2022 by jerhard
CProver deadlock benchmarks new benchmark New benchmark to analyze
#42 opened Sep 14, 2022 by sim642
masscan goblint Goblint-specific problem project Project to analyze
#41 opened Sep 9, 2022 by sim642
memcached goblint Goblint-specific problem project Project to analyze
#40 opened Sep 9, 2022 by sim642
7
curl goblint Goblint-specific problem project Project to analyze
#39 opened Sep 9, 2022 by sim642
2
redis goblint Goblint-specific problem project Project to analyze
#38 opened Sep 9, 2022 by sim642
2
netdata goblint Goblint-specific problem project Project to analyze
#37 opened Sep 9, 2022 by sim642
1
Selfie self-compiling C-compiler new benchmark New benchmark to analyze
#34 opened Aug 3, 2022 by michael-schwarz
WHOOP data race benchmarks new benchmark New benchmark to analyze
#25 opened Apr 11, 2022 by sim642
Creating demonstrators for GobPie goblint Goblint-specific problem
#22 opened Mar 1, 2022 by vesalvojdani
1
Creating CVE Race Condition Benchmarks new benchmark New benchmark to analyze
#21 opened Mar 1, 2022 by vesalvojdani
SQLite Amalgamation goblint Goblint-specific problem parsing-succeeds project Project to analyze
#19 opened Feb 23, 2022 by michael-schwarz
@michael-schwarz
5
FFmpeg goblint Goblint-specific problem parsing-succeeds project Project to analyze
#18 opened Feb 21, 2022 by michael-schwarz
5
chrony goblint Goblint-specific problem parsing-succeeds project Project to analyze
#17 opened Feb 2, 2022 by stilscher
14
zstd goblint Goblint-specific problem parsing-succeeds project Project to analyze
#16 opened Jan 27, 2022 by michael-schwarz
27
ProTip! Find all open issues with in progress development work with linked:pr.