Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
SoSy-Lab
Benchmarking
SV-Benchmarks
Repository
sv-benchmarks
CONTRIBUTING.md
Find file
Blame
History
Permalink
Update instructions how to contribute
· 41bf6b31
Dirk Beyer
authored
Oct 20, 2022
41bf6b31
After you've reviewed these contribution guidelines, you'll be all set to contribute to this project.