diff options
Diffstat (limited to 'LICENSE')
| -rw-r--r-- | LICENSE | 42 |
1 files changed, 1 insertions, 41 deletions
@@ -44,8 +44,7 @@ option) any later version: backend/CMtypecheck.ml backend/CMtypecheck.mli - all files in the cparser/ directory - (except those listed below which are under a BSD license) + all files in the cparser/ directory all files in the exportclight/ directory @@ -69,15 +68,6 @@ The files contained in the runtime/ directory and its subdirectories are Copyright 2013-2014 INRIA and 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. - ---------------------------------------------------------------------- INRIA Non-Commercial License Agreement for the CompCert verified compiler @@ -513,36 +503,6 @@ Public License instead of this License. ---------------------------------------------------------------------- - BSD License - -Redistribution and use in source and binary forms, with or without -modification, are permitted provided that the following conditions are met: - -1. Redistributions of source code must retain the above copyright notice, -this list of conditions and the following disclaimer. - -2. Redistributions in binary form must reproduce the above copyright notice, -this list of conditions and the following disclaimer in the documentation -and/or other materials provided with the distribution. - -3. The names of the contributors may not be used to endorse or promote -products derived from this software without specific prior written -permission. - -THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" -AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE -IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE -ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE -LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR -CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF -SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS -INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN -CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) -ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE -POSSIBILITY OF SUCH DAMAGE. - ----------------------------------------------------------------------- - GNU LESSER GENERAL PUBLIC LICENSE Version 3, 29 June 2007 |