Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
SoSy-Lab
SV-Comp
Verifier Archives 2021
Tags
Tags give the ability to mark specific points in history as being important
svcomp21
protected
08c7a986
·
Upgrade submodule for scripts
·
Dec 19, 2020
This tag marks the version used for the 10th Competition on Software Verification (SV-COMP) 2021.