TypeNode: Rename isSort() and getSortConstructorArity(). (#8446)

[cvc5.git] / README.md

diff --git a/README.md b/README.md
index 254034811f1ff1acc361f738bacaf186c8a0cba3..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
@@ -46,9 +46,10 @@ Download
 The latest version of cvc5 is available on GitHub:
 https://github.com/cvc5/cvc5
 
-Source tar balls and binaries for releases and latest stable builds of the
-[master branch](https://github.com/cvc5/cvc5) on GitHub can be
-found [here](http://cvc5.github.io/downloads).
+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://cvc5.github.io/downloads).
 
 
 Build and Dependencies