CONTRIBUTING.md

   1 # Contributing
   2
   3 External contributions to CVC4 may be proposed using git's standard pull request
   4 mechanism.  The following terms apply to all such contributions:
   5
   6 - We require all pull requests to be squashed into a single commit before
   7   being submitted and to be signed using `git commit -s`.
   8
   9 - CVC4 is distributed under the terms of the modified BSD license (see
  10   [COPYING](https://github.com/CVC4/CVC4/blob/master/COPYING) file).  By
  11   submitting a signed contribution, you automatically agree to accept the conditions
  12   described in [COPYING](https://github.com/CVC4/CVC4/blob/master/COPYING).
  13
  14 - By submitting a signed contribution, you additionally automatically agree
  15   that the [Developer Certificate of Origin](https://developercertificate.org)
  16   shown below applies to your contribution.
  17
  18 ```
  19 Developer Certificate of Origin
  20 Version 1.1
  21
  22 Copyright (C) 2004, 2006 The Linux Foundation and its contributors.
  23 1 Letterman Drive
  24 Suite D4700
  25 San Francisco, CA, 94129
  26
  27 Everyone is permitted to copy and distribute verbatim copies of this
  28 license document, but changing it is not allowed.
  29
  30
  31 Developer's Certificate of Origin 1.1
  32
  33 By making a contribution to this project, I certify that:
  34
  35 (a) The contribution was created in whole or in part by me and I
  36     have the right to submit it under the open source license
  37     indicated in the file; or
  38
  39 (b) The contribution is based upon previous work that, to the best
  40     of my knowledge, is covered under an appropriate open source
  41     license and I have the right under that license to submit that
  42     work with modifications, whether created in whole or in part
  43     by me, under the same open source license (unless I am
  44     permitted to submit under a different license), as indicated
  45     in the file; or
  46
  47 (c) The contribution was provided directly to me by some other
  48     person who certified (a), (b) or (c) and I have not modified
  49     it.
  50
  51 (d) I understand and agree that this project and the contribution
  52     are public and that a record of the contribution (including all
  53     personal information I submit with it, including my sign-off) is
  54     maintained indefinitely and may be redistributed consistent with
  55     this project or the open source license(s) involved.
  56 ```
  57
  58 If you are interested in becoming a long-term contributor to the CVC4 project,
  59 please contact one of the
  60 [project leaders](https://cvc4.github.io/people.html#project-leaders).
  61 We'd be happy to point you to some internal documentation to help you out.