Change CVC4 urls to cvc5. (#7706)

This commit will change the URLs to the new cvc5 nightly builds and coverage
information.

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 245a8a8a05853d9778e25e7671011c5daeebe72b..a1efb165a6d1118c2d15b239ec7c1538a08a5821 100644 (file)
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -7,9 +7,9 @@ mechanism.  The following terms apply to all such contributions:
   being submitted and to be signed using `git commit -s`.
 
 - cvc5 is distributed under the terms of the modified BSD license (see
-  [COPYING](https://github.com/CVC4/CVC4/blob/master/COPYING) file).  By
+  [COPYING](https://github.com/cvc5/cvc5/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).
+  described in [COPYING](https://github.com/cvc5/cvc5/blob/master/COPYING).
 
 - By submitting a signed contribution, you additionally automatically agree
   that the [Developer Certificate of Origin](https://developercertificate.org)
@@ -57,5 +57,5 @@ By making a contribution to this project, I certify that:
 
 If you are interested in becoming a long-term contributor to the cvc5 project,
 please contact one of the
-[project leaders](https://cvc4.github.io/people.html#project-leaders).
+[project leaders](https://cvc5.github.io/people.html#project-leaders).
 We'd be happy to point you to some internal documentation to help you out.

diff --git a/INSTALL.rst b/INSTALL.rst
index 106948969cc02a1940d3a215056a440cbda37d49..5a8454d2c51262765b80d3104bed991ad4b24a8f 100644 (file)
--- a/INSTALL.rst
+++ b/INSTALL.rst
@@ -400,7 +400,7 @@ linked LGPL libraries perform the following steps:
 
 .. code::
   
-  wget https://github.com/CVC4/CVC4/archive/<commit-sha>.tar.gz
+  wget https://github.com/cvc5/cvc5/archive/<commit-sha>.tar.gz
 
 4. Extract the source code
 

diff --git a/README.md b/README.md
index 57b490ac66ba6d92d3e8c9e1218a52f96cfcb35c..fa6c4a10e45a2e7828b724cebb251be1e267848d 100644 (file)
--- a/README.md
+++ b/README.md
@@ -3,8 +3,8 @@
         https://opensource.org/licenses/BSD-3-Clause)
 ![CI](https://github.com/cvc5/cvc5/workflows/CI/badge.svg)
 [![Coverage](
-  https://img.shields.io/endpoint?url=https://cvc4.cs.stanford.edu/downloads/builds/coverage/nightly-coverage.json)](
-    https://cvc4.cs.stanford.edu/downloads/builds/coverage)
+  https://img.shields.io/endpoint?url=https://cvc5.stanford.edu/downloads/builds/coverage/nightly-coverage.json)](
+    https://cvc5.stanford.edu/downloads/builds/coverage)
 
 cvc5
 ===============================================================================
@@ -18,7 +18,7 @@ prior to CVC4.
 If you are using cvc5 in your work, or incorporating it into software of your
 own, we invite you to send us a description and link to your
 project/software, so that we can link it on our [Third Party
-Applications](https://cvc4.github.io/third-party-applications.html) page.
+Applications](https://cvc5.github.io/third-party-applications.html) page.
 
 cvc5 is intended to be an open and extensible SMT engine.  It can be used as a
 stand-alone tool or as a library.  It has been designed to increase the
@@ -49,7 +49,7 @@ https://github.com/cvc5/cvc5
 Source tar balls and binaries for releases of the
 [master branch](https://github.com/cvc5/cvc5) can be
 found [here](https://github.com/cvc5/cvc5/releases).
-Nightly builds are available [here](https://cvc4.github.io/downloads).
+Nightly builds are available [here](https://cvc5.github.io/downloads).
 
 
 Build and Dependencies

diff --git a/test/regress/README.md b/test/regress/README.md
index ca6fc30abbf71100332e249c851b91dcac5ffb11..6997afbd340da4a7465c8db9c20a27a0b5a03df3 100644 (file)
--- a/test/regress/README.md
+++ b/test/regress/README.md
@@ -17,7 +17,7 @@ The time limits for each level are:
 ## Running Regression Tests
 
 For running regressions tests, see the
-[INSTALL](https://github.com/CVC4/CVC4/blob/master/INSTALL.md#testing-cvc4)
+[INSTALL](https://github.com/cvc5/cvc5/blob/master/INSTALL.rst#testing-cvc5)
 file.
 
 By default, each invocation of cvc5 is done with a 10 minute timeout. To use a
@@ -48,7 +48,6 @@ The following types of regression files are supported:
 
 - `*.smt`: An [SMT1.x](http://smtlib.cs.uiowa.edu/papers/format-v1.2-r06.08.30.pdf) benchmark
 - `*.smt2`: An [SMT 2.x](http://smtlib.cs.uiowa.edu/papers/smt-lib-reference-v2.6-r2017-07-18.pdf) benchmark
-- `*.cvc`: A benchmark that uses [cvc5's native input language](https://github.com/CVC4/CVC4/wiki/CVC4-Native-Input-Language)
 - `*.sy`: A [SyGuS](http://sygus.seas.upenn.edu/files/SyGuS-IF.pdf) benchmark
 - `*.p`: A [TPTP](http://www.cs.miami.edu/~tptp/TPTP/SyntaxBNF.html) benchmark