projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 847b494) | patch
Change CVC4 urls to cvc5. (#7706)
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 30 Nov 2021 22:17:42 +0000 (14:17 -0800)
committerGitHub <noreply@github.com>
Tue, 30 Nov 2021 22:17:42 +0000 (22:17 +0000)
commit0b914e436b58c261af82bfb37ebc6ca6e3a34a97
treeeb380dd684a3dcd1510c294453650954f1ea8b3dtree
parent847b494afa496afcbb3c776f6dba65b7f744fee9commit | diff
Change CVC4 urls to cvc5. (#7706)

This commit will change the URLs to the new cvc5 nightly builds and coverage
information.
CONTRIBUTING.md diff | blob | history
INSTALL.rst diff | blob | history
README.md diff | blob | history
test/regress/README.md diff | blob | history