Simplify sygus conversion script. (#4627)

[cvc5.git] / CONTRIBUTING.md

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index bbcb077b3f4ab0f24f0a20fb1227b927cff96be7..c54589e83a77d16daf50e888ad63f2d1906e2ab0 100644 (file)
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -1,14 +1,19 @@
 # Contributing
 
-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 contribution you automatically accept the conditions described in
-[COPYING](https://github.com/CVC4/CVC4/blob/master/COPYING).
-Additionally, we ask you to certify that you have the right to submit such
-contributions.  To manage this process we use a mechanism known as [Developer
-Certificate of Origin](https://developercertificate.org), which can be
-acknowledged by signing-off your commits with `git commit -s`.  We require all
-pull requests to be squashed into a single commit and signed-off.
+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
@@ -50,7 +55,7 @@ By making a contribution to this project, I certify that:
     this project or the open source license(s) involved.
 ```
 
-If you are interested in becoming a long term contributor (for example, a new
-decision procedure implementation) to the CVC4 project, please contact one of
-the [project leaders](#project_leaders).  We'd be happy to point you to some
-internal documentation to help you out.
+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.