summaryrefslogtreecommitdiff
path: root/LICENSE
diff options
context:
space:
mode:
authorGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2010-03-03 10:22:27 +0000
committerGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2010-03-03 10:22:27 +0000
commit891377ce1962cdb31357d6580d6546ec22df2b4f (patch)
tree4ff7c38749cc7a4c1af411c5aa3eb7225c4ae6a1 /LICENSE
parent018edf2d81bf94197892cf1df221f7eeac1f96f6 (diff)
Switching to the new C parser/elaborator/simplifier
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1269 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'LICENSE')
-rw-r--r--LICENSE23
1 files changed, 14 insertions, 9 deletions
diff --git a/LICENSE b/LICENSE
index 373ee65..f9bae5b 100644
--- a/LICENSE
+++ b/LICENSE
@@ -25,9 +25,12 @@ option) any later version:
cfrontend/PrintCsyntax.ml lib/Integers.v
cfrontend/Csem.v lib/Maps.v
cfrontend/Csyntax.v lib/Parmov.v
- common/AST.v runtime/calloc.c
- common/Errors.v runtime/stdio.c
- common/Events.v runtime/stdio.h
+ common/AST.v lib/Camlcoq.ml
+ common/Errors.v
+ common/Events.v
+ all files in the runtime/ directory
+ all files in the cparser/ directory
+ (except those listed below which are under a BSD license)
A copy of the GNU General Public License version 2 is included below.
@@ -37,12 +40,14 @@ files are free software and can be used both in commercial and
non-commercial contexts, subject to the terms of the GNU General
Public License.
-This distribution includes a modified copy of the CIL library.
-The CIL library is Copyright 2001-2005 George C. Necula, Scott McPeak,
-Wes Weimer and Ben Liblit. The modifications are Copyright 2006,
-2007, 2008, 2009 Institut National de Recherche en Informatique et en
-Automatique. The CIL library and the modifications are distributed
-under the terms of the BSD license, included below.
+Finally, the following files are taken from the CIL library:
+ cparser/Cabs.ml
+ cparser/Lexer.mli
+ cparser/Lexer.mll
+ cparser/Parser.mly
+These files are Copyright 2001-2005 George C. Necula, Scott McPeak,
+Wes Weimer and Ben Liblit, and are distributed under the terms of the
+BSD license, included below.
----------------------------------------------------------------------