diff options
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r-- | CONTRIBUTING.md | 61 |
1 files changed, 61 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md new file mode 100644 index 000000000..c54589e83 --- /dev/null +++ b/CONTRIBUTING.md @@ -0,0 +1,61 @@ +# Contributing + +External contributions to CVC4 may be proposed using git's standard pull request +mechanism. The following terms apply to all such contributions: + +- We require all pull requests to be squashed into a single commit before + being submitted and to be signed using `git commit -s`. + +- CVC4 is distributed under the terms of the modified BSD license (see + [COPYING](https://github.com/CVC4/CVC4/blob/master/COPYING) file). By + submitting a signed contribution, you automatically agree to accept the conditions + described in [COPYING](https://github.com/CVC4/CVC4/blob/master/COPYING). + +- By submitting a signed contribution, you additionally automatically agree + that the [Developer Certificate of Origin](https://developercertificate.org) + shown below applies to your contribution. + +``` +Developer Certificate of Origin +Version 1.1 + +Copyright (C) 2004, 2006 The Linux Foundation and its contributors. +1 Letterman Drive +Suite D4700 +San Francisco, CA, 94129 + +Everyone is permitted to copy and distribute verbatim copies of this +license document, but changing it is not allowed. + + +Developer's Certificate of Origin 1.1 + +By making a contribution to this project, I certify that: + +(a) The contribution was created in whole or in part by me and I + have the right to submit it under the open source license + indicated in the file; or + +(b) The contribution is based upon previous work that, to the best + of my knowledge, is covered under an appropriate open source + license and I have the right under that license to submit that + work with modifications, whether created in whole or in part + by me, under the same open source license (unless I am + permitted to submit under a different license), as indicated + in the file; or + +(c) The contribution was provided directly to me by some other + person who certified (a), (b) or (c) and I have not modified + it. + +(d) I understand and agree that this project and the contribution + are public and that a record of the contribution (including all + personal information I submit with it, including my sign-off) is + maintained indefinitely and may be redistributed consistent with + this project or the open source license(s) involved. +``` + +If you are interested in becoming a long-term contributor to the CVC4 project, +please contact one of the +[project leaders](https://cvc4.github.io/people.html#project-leaders). +We'd be happy to point you to some internal documentation to help you out. |