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