Skip to content
GitLab
Explore
Sign in
CertiCompil
CompCert-IntrinSec
Repository
compcert-intrinsec
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 General Public License v2.0 or later
.
Learn more