1
+ ---
2
+ key: inria-compcert
3
+ short_name: INRIA NCLA CompCert
4
+ name: INRIA Non-Commercial License Agreement for the CompCert verified compiler
5
+ category: Proprietary Free
6
+ owner: INRIA
7
+ homepage_url: https://compcert.org/doc/LICENSE.txt
8
+ spdx_license_key: LicenseRef-scancode-inria-compcert
9
+ ---
10
+
11
+ INRIA Non-Commercial License Agreement for the CompCert verified compiler
12
+
13
+ 1. Background: Institut National de Recherche en Informatique et en
14
+ Automatique (the "Provider") developed the CompCert verified
15
+ compiler (the "Software") and seeks to distribute the Software for
16
+ public use and benefit.
17
+
18
+ 2. Grant: The Provider hereby grants to you a revocable, nonexclusive,
19
+ nontransferable, royalty-free and worldwide license (the "License")
20
+ to use the Software solely for educational, research, or evaluation
21
+ purposes, in accordance with Paragraph 3 below and subject to the
22
+ terms and conditions of this License Agreement (the
23
+ "Agreement"). The License entitles you to use the Software to
24
+ conduct research or education and to create Derivative Works solely
25
+ for academic, non-commercial research endeavors of the Licensee (A
26
+ "Derivative Work" is a work that is a modification of, enhancement
27
+ to, derived from, or based upon the Software).
28
+
29
+ 3. Limitations on Use: The License is limited to noncommercial
30
+ use. Noncommercial use relates only to educational, research,
31
+ personal or evaluation purposes. Any other use is commercial use.
32
+ You may not use the Software in connection with any activities
33
+ which purpose is to procure a commercial gain to you or others.
34
+
35
+ 4. Limitations on Distribution: If you distribute the Software or any
36
+ derivative works of the Software, you will distribute them under
37
+ the same terms and conditions as in this License, and you will not
38
+ grant other rights to the Software or derivative works that are
39
+ different from those provided by this License.
40
+
41
+ 5. Ownership: The Software and the accompanying documentation are
42
+ licensed, not sold, to you. The Software is a proprietary product
43
+ of the Provider and is protected under French copyright law and
44
+ international treaty revisions. The Provider retains all rights not
45
+ specifically granted to you hereunder, including ownership of the
46
+ Software and all copyrights, trade secrets, or other intellectual
47
+ property rights in the Software and any accompanying information.
48
+
49
+ 6. Publication Credit: You agree to acknowledge the INRIA CompCert
50
+ research project with appropriate citations in any publication or
51
+ presentation containing research results obtained in whole or in
52
+ part through the use of the Software.
53
+
54
+ 7. Term of License: The License is effective upon receipt by you of
55
+ the Software and shall continue until terminated. The License will
56
+ terminate immediately without notice by the Provider if you fail to
57
+ comply with the terms and conditions of this Agreement. Upon
58
+ termination of this License, you shall immediately discontinue all
59
+ use of the Software provided hereunder, and return to the Provider
60
+ or destroy the original and all copies of all such Software. All of
61
+ your obligations under this Agreement shall survive the termination
62
+ of the License.
63
+
64
+ 8. Warranty: THE PROVIDER MAKES NO REPRESENTATIONS ABOUT THE
65
+ SUITABILITY, USE, OR PERFORMANCE OF THIS SOFTWARE OR ABOUT ANY
66
+ CONTENT OR INFORMATION MADE ACCESSIBLE BY THE SOFTWARE, FOR ANY
67
+ PURPOSE. THE SOFTWARE IS PROVIDED "AS IS," WITHOUT EXPRESS OR
68
+ IMPLIED WARRANTIES INCLUDING, BUT NOT LIMITED TO, ANY IMPLIED
69
+ WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, OR
70
+ NONINFRINGEMENT WITH RESPECT TO THE SOFTWARE. THE PROVIDER IS NOT
71
+ OBLIGATED TO SUPPORT OR ISSUE UPDATES TO THE SOFTWARE.
72
+
73
+ 9. Limitation on Liability: This Software is provided free of charge
74
+ and, accordingly, the Provider shall not be liable under any theory
75
+ for any damages suffered by you or any user of the Software. UNDER
76
+ NO CIRCUMSTANCES SHALL PROVIDER BE LIABLE TO YOU OR ANY OTHER
77
+ PERSON FOR ANY DIRECT, INDIRECT, SPECIAL, INCIDENTAL, OR
78
+ CONSEQUENTIAL DAMAGES OF ANY CHARACTER INCLUDING, WITHOUT
79
+ LIMITATION, DAMAGES FOR LOSS OF GOODWILL, WORK STOPPAGE, COMPUTER
80
+ FAILURE OR MALFUNCTION, OR ANY AND ALL OTHER ECONOMIC LOSS OR
81
+ COMMERCIAL DAMAGES ARISING OUT OF THE USE OR INABILITY TO USE THIS
82
+ SOFTWARE, EVEN IF PROVIDER SHALL HAVE BEEN INFORMED OF THE
83
+ POSSIBILITY OF SUCH DAMAGES, OR FOR ANY THIRD-PARTY CLAIMS.
84
+
85
+ 10. Disputes: The Parties agree to attempt to settle amicably any
86
+ controversy or claim arising under this Agreement or a breach of
87
+ this Agreement. Thereafter, both parties agree that all disputes
88
+ between them arising out of or relating to this Agreement, shall
89
+ be submitted to non-binding mediation unless the parties mutually
90
+ agree otherwise. All parties agree to exercise their best effort
91
+ in good faith to resolve all disputes in mediation. This Agreement
92
+ shall be governed and construed in accordance with the laws of
93
+ France.
94
+
95
+ 11. Entire Agreement: This Agreement contains the entire agreement
96
+ between the parties with respect to the subject matter hereof, and
97
+ it shall not be modified or amended except by an instrument in
98
+ writing signed by both parties hereto.
0 commit comments