Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-KVX
Repository
compcert-kvx
LICENSE
Find file
Blame
History
Permalink
Adapt LICENSE file to include AbsInt and how to obtain a commercial license.
· 6b7b7a73
Bernhard Schommer
authored
Jun 26, 2015
6b7b7a73
This project is licensed under the
GNU Lesser General Public License v2.1 only
.
Learn more