From 891377ce1962cdb31357d6580d6546ec22df2b4f Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 3 Mar 2010 10:22:27 +0000 Subject: 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 --- LICENSE | 23 ++++++++++++++--------- 1 file changed, 14 insertions(+), 9 deletions(-) (limited to 'LICENSE') diff --git a/LICENSE b/LICENSE index 373ee656..f9bae5b5 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. ---------------------------------------------------------------------- -- cgit