Commit 07140213 authored by xleroy's avatar xleroy
Browse files

Preparation for release 1.11

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1975 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
parent e5d96860
Release 1.11
Release 1.11, 2012-07-13
========================
Improvements in confidence:
......
......@@ -43,11 +43,11 @@ non-commercial contexts, subject to the terms of the GNU General
Public License.
The files contained in the flocq/ directory and its subdirectories are
taken from the Flocq project, http://flocq.gforge.inria.fr/ These
files are Copyright 2010-2012 INRIA and distributed under the terms of
the GNU Lesser General Public Licence, either version 3 of the
licence, or (at your option) any later version. A copy of the
GNU Lesser General Public Licence version 3 is included below.
taken from the Flocq project, http://flocq.gforge.inria.fr/
These files are Copyright 2010-2012 INRIA and distributed under the
terms of the GNU Lesser General Public Licence, either version 3 of
the licence, or (at your option) any later version. A copy of the GNU
Lesser General Public Licence version 3 is included below.
Finally, the following files are taken from the CIL library:
cparser/Cabs.ml
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment