Skip to content
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

Jump to bottom

Determine list of thread wrappers & Create autotuner for it #1066

Open
michael-schwarz opened this issue May 30, 2023 · 0 comments
Open

Determine list of thread wrappers & Create autotuner for it #1066

michael-schwarz opened this issue May 30, 2023 · 0 comments
Labels
good first issue precision sv-comp SV-COMP (analyses, results), witnesses
Milestone
SV-COMP 2026

Comments

@michael-schwarz
Copy link
Member

Since #1021 we now have the concept of wrappers around thread creation. We should look at the SV-COMP benchmarks and determine which wrappers appear there often to set a useful default.
Also, we should extend the autotuner to also autotune the list of wrappers.
@michael-schwarz michael-schwarz added sv-comp SV-COMP (analyses, results), witnesses precision good first issue labels May 30, 2023
@michael-schwarz michael-schwarz added this to the SV-COMP 2024 milestone May 30, 2023
@sim642 sim642 modified the milestones: SV-COMP 2024, SV-COMP 2025 Nov 21, 2023
@sim642 sim642 modified the milestones: SV-COMP 2025, SV-COMP 2026 Oct 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
good first issue precision sv-comp SV-COMP (analyses, results), witnesses
Projects
None yet
Milestone
SV-COMP 2026
Development

No branches or pull requests
2 participants
@sim642 @michael-schwarz