diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-06-28 18:51:06 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-06-28 18:51:06 +0200 |
commit | 282f8a07a2ff201e1b2bee563bd8c6d9d670d261 (patch) | |
tree | ceadae02b27a0d039e19f29271107b24892377bc | |
parent | 711cea9fc37e777487abc815730aacde2b00aef3 (diff) | |
download | compcert-282f8a07a2ff201e1b2bee563bd8c6d9d670d261.tar.gz compcert-282f8a07a2ff201e1b2bee563bd8c6d9d670d261.zip |
LICENSE: update the list of files that are dual-licensed under the GPL
-rw-r--r-- | LICENSE | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -12,7 +12,7 @@ The latter is a separate contract document. The INRIA Non-Commercial License Agreement is a non-free license that grants you the right to use the CompCert verified compiler for educational, research or evaluation purposes only, but prohibits -any commercial uses. +any commercial use. For commercial use you need a Software Usage Agreement from AbsInt Angewandte Informatik GmbH. @@ -29,11 +29,14 @@ option) any later version: common/Errors.v common/Events.v common/Globalenvs.v + common/Linking.v common/Memdata.v common/Memory.v common/Memtype.v common/Smallstep.v + common/Subtyping.v common/Switch.v + common/Unityping.v common/Values.v cfrontend/Clight.v @@ -43,7 +46,8 @@ option) any later version: cfrontend/Cstrategy.v cfrontend/Csyntax.v cfrontend/Ctypes.v - + cfrontend/Ctyping.v + backend/Cminor.v backend/CMlexer.mli backend/CMlexer.mll @@ -51,6 +55,10 @@ option) any later version: backend/CMtypecheck.ml backend/CMtypecheck.mli + arm/Archi.v + ia32/Archi.v + powerpc/Archi.v + all files in the cparser/ directory all files in the exportclight/ directory |