Update README.md and remove last CVC4 references. (#6497)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index b53370f60d96c2b5f5d96ef6bf135df0a3fa4fec..a207723dd9c9484ba8f94b4b2843209db877cfa1 100644 (file)
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -139,7 +139,7 @@ jobs:
       uses: actions/cache@v2
       with:
         path: deps/install
-        key: aux-tools-${{ runner.os }}-${{ hashFiles('contrib/get-**') }}-${{ hashFiles('.github/workflows/ci.yml') }}
+        key: cvc5-aux-tools-${{ runner.os }}-${{ hashFiles('contrib/get-**') }}-${{ hashFiles('.github/workflows/ci.yml') }}
 
     - name: Setup Auxiliary Tools
       if: steps.restore-aux-tools.outputs.cache-hit != 'true'
@@ -151,8 +151,8 @@ jobs:
       uses: actions/cache@v2
       with:
         path: ccache-dir
-        key: ccache-${{ runner.os }}-${{ matrix.cache-key }}-${{ github.sha }}
-        restore-keys: ccache-${{ runner.os }}-${{ matrix.cache-key }}-
+        key: cvc5-ccache-${{ runner.os }}-${{ matrix.cache-key }}-${{ github.sha }}
+        restore-keys: cvc5-ccache-${{ runner.os }}-${{ matrix.cache-key }}-
 
     - name: Configure ccache
       run: |
@@ -167,7 +167,7 @@ jobs:
       uses: actions/cache@v2
       with:
         path: build/deps
-        key: deps-${{ runner.os }}-${{ matrix.cache-key }}-${{ hashFiles('cmake/Find**', 'cmake/deps-helper.cmake') }}-${{ hashFiles('.github/workflows/ci.yml') }}
+        key: cvc5-deps-${{ runner.os }}-${{ matrix.cache-key }}-${{ hashFiles('cmake/Find**', 'cmake/deps-helper.cmake') }}-${{ hashFiles('.github/workflows/ci.yml') }}
 
     - name: Configure
       run: |

diff --git a/README.md b/README.md
index 816e3854e1675fadbeec348ae693f2e3602ac88d..f61d02066a0cc32e242ef429cb021eddcced2e5a 100644 (file)
--- a/README.md
+++ b/README.md
@@ -1,7 +1,7 @@
 [![License: BSD](
     https://img.shields.io/badge/License-BSD%203--Clause-blue.svg)](
         https://opensource.org/licenses/BSD-3-Clause)
-![CI](https://github.com/CVC4/CVC4/workflows/CI/badge.svg)
+![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)
@@ -11,8 +11,9 @@ cvc5
 
 cvc5 is a tool for determining the satisfiability of a first order formula
 modulo a first order theory (or a combination of such theories).  It is the
-fourth in the Cooperating Validity Checker family of tools (CVC, CVC Lite,
-CVC3) but does not directly incorporate code from any previous version.
+fifth in the Cooperating Validity Checker family of tools (CVC, CVC Lite,
+CVC3, CVC4) but does not directly incorporate code from any previous version
+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
@@ -23,31 +24,31 @@ 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
 performance and reduce the memory overhead of its predecessors.  It is written
 entirely in C++ and is released under an open-source software license (see file
-[COPYING](https://github.com/CVC4/CVC4/blob/master/COPYING)).
+[COPYING](https://github.com/cvc5/cvc5/blob/master/COPYING)).
 
 
 Website
 -------------------------------------------------------------------------------
-CVC4's website  is available at:
-http://cvc4.cs.stanford.edu/
+cvc5's website  is available at:
+https://cvc5.github.io/
 
 Documentation
 -------------------------------------------------------------------------------
-Documentation for users of CVC4 is available at:
-http://cvc4.cs.stanford.edu/
+Documentation for users of cvc5 is available at:
+https://cvc5.github.io/docs/
 
 Documentation for developers is available at:
-https://github.com/CVC4/CVC4/wiki/Developer-Guide
+https://github.com/cvc5/cvc5/wiki/Developer-Guide
 
 Download
 -------------------------------------------------------------------------------
 
-The latest version of CVC4 is available on GitHub:
-https://github.com/CVC4/CVC4
+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/CVC4/CVC4) on GitHub can be
-found [here](http://cvc4.cs.stanford.edu/downloads).
+[master branch](https://github.com/cvc5/cvc5) on GitHub can be
+found [here](http://cvc5.github.io/downloads).
 
 
 Build and Dependencies
@@ -57,14 +58,14 @@ cvc5 can be built on Linux and macOS.  For Windows, cvc5 can be cross-compiled
 using Mingw-w64.
 
 For detailed build and installation instructions on these platforms,
-see file [INSTALL.md](https://github.com/CVC4/CVC4/blob/master/INSTALL.md).
+see file [INSTALL.md](https://github.com/cvc5/cvc5/blob/master/INSTALL.md).
 
 
 Bug Reports
 -------------------------------------------------------------------------------
 
 If you need to report a bug with cvc5, or make a feature request, please visit
-our bugtracker at our [GitHub issues](https://github.com/CVC4/CVC4/issues)
+our bugtracker at our [GitHub issues](https://github.com/cvc5/cvc5/issues)
 page. We are very grateful for bug reports,  as they help us improve cvc5.
 
 
@@ -78,4 +79,4 @@ Authors
 -------------------------------------------------------------------------------
 
 For a full list of authors, please refer to the
-[AUTHORS](https://github.com/CVC4/CVC4/blob/master/AUTHORS) file.
+[AUTHORS](https://github.com/cvc5/cvc5/blob/master/AUTHORS) file.