Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
SoSy-Lab
Software
Regression-Verification Tasks
Repository
regression-verification-tasks
License.txt
Find file
Blame
History
Permalink
License information added: FSF GPL v2
· e6ec5e01
Dirk Beyer
authored
Jun 02, 2013
e6ec5e01
This project is licensed under the
GNU General Public License v2.0 or later
.
Learn more