summaryrefslogtreecommitdiff
path: root/LICENSE
diff options
context:
space:
mode:
authorGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2012-03-11 16:13:15 +0000
committerGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2012-03-11 16:13:15 +0000
commite2fb435c257cf6aac24e7b30f902bede694100c5 (patch)
tree7c498eb9dbed3d4c194fc965704e5ed57e75672f /LICENSE
parentc7a642bf2156221a5c93826444e5e49ebb3b682b (diff)
Minor updates
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1848 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'LICENSE')
-rw-r--r--LICENSE16
1 files changed, 8 insertions, 8 deletions
diff --git a/LICENSE b/LICENSE
index 99eafdf..f09cc89 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,12 +1,12 @@
-All files in this distribution are part of the Compcert verified compiler.
+All files in this distribution are part of the CompCert verified compiler.
-The Compcert verified compiler is Copyright 2004, 2005, 2006, 2007,
-2008, 2009, 2010, 2011 Institut National de Recherche en Informatique
+The CompCert verified compiler is Copyright 2004, 2005, 2006, 2007,
+2008, 2009, 2010, 2011, 2012 Institut National de Recherche en Informatique
et en Automatique (INRIA).
-The Compcert verified compiler is distributed under the terms of the
+The CompCert verified compiler is distributed under the terms of the
INRIA Non-Commercial License Agreement given below. This is a
-non-free license that grants you the right to use the Compcert verified
+non-free license that grants you the right to use the CompCert verified
compiler for educational, research or evaluation purposes only, but
prohibits commercial uses.
@@ -54,10 +54,10 @@ BSD license, included below.
----------------------------------------------------------------------
-INRIA Non-Commercial License Agreement for the Compcert verified compiler
+INRIA Non-Commercial License Agreement for the CompCert verified compiler
1. Background: Institut National de Recherche en Informatique et en
- Automatique (the "Provider") developed the Compcert verified
+ Automatique (the "Provider") developed the CompCert verified
compiler (the "Software") and seeks to distribute the Software for
public use and benefit.
@@ -92,7 +92,7 @@ INRIA Non-Commercial License Agreement for the Compcert verified compiler
Software and all copyrights, trade secrets, or other intellectual
property rights in the Software and any accompanying information.
-6. Publication Credit: You agree to acknowledge the INRIA Compcert
+6. Publication Credit: You agree to acknowledge the INRIA CompCert
research project with appropriate citations in any publication or
presentation containing research results obtained in whole or in
part through the use of the Software.