From 0b914e436b58c261af82bfb37ebc6ca6e3a34a97 Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Tue, 30 Nov 2021 14:17:42 -0800 Subject: [PATCH] Change CVC4 urls to cvc5. (#7706) This commit will change the URLs to the new cvc5 nightly builds and coverage information. --- CONTRIBUTING.md | 6 +++--- INSTALL.rst | 2 +- README.md | 8 ++++---- test/regress/README.md | 3 +-- 4 files changed, 9 insertions(+), 10 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 245a8a8a0..a1efb165a 100644 --- 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 106948969..5a8454d2c 100644 --- 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/.tar.gz + wget https://github.com/cvc5/cvc5/archive/.tar.gz 4. Extract the source code diff --git a/README.md b/README.md index 57b490ac6..fa6c4a10e 100644 --- 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 ca6fc30ab..6997afbd3 100644 --- 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 -- 2.30.2