Thank you for your interest in contributing to this repository!
To make this agreement effective, please follow the instructions at #3.
"Contribution" means any original work of authorship, including any original modifications or additions to an existing work of authorship, submitted by you to this repository, in which you own the Copyright.
You as the contributor retain the Copyright related to your Contributions but you do agree to licence all Contributions under the CompCert Licence while noting that this does not prevent you from also licencing these Contributions differently (either elsewhere, or indicated clearly within this repository as a dual-licence option or similar) as long as doing so does not breach the CompCert Licence.
This contributor licence agreement is loosely based upon one generated at https://contributoragreements.org/ and is used under the CC BY-SA 3.0 licence. It has been modified, primarily to trim it down for simplicity.
The motivation for this contributor licence agreement is to be open to collaboration on this repository while continuing to comply with clause 4 of the INRIA Non-Commercial License Agreement for the CompCert verified compiler, with the end goal of improving and doing research related to the DeepSEA system (which is based upon the INRIA CompCert research project).