projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2069d95) | patch
cmake: New INSTALL.md for build and testing instructions. (#2536)
authorAina Niemetz <aina.niemetz@gmail.com>
Wed, 26 Sep 2018 04:59:28 +0000 (21:59 -0700)
committerGitHub <noreply@github.com>
Wed, 26 Sep 2018 04:59:28 +0000 (21:59 -0700)
commite954e0ee501ecf9489ce43775c0c3c6b7123ac89
treec066c689fa3b21e4a067497091ff36ae2977e230tree
parent2069d956851667718c45353f41a3d4aa2b8e7c73commit | diff
cmake: New INSTALL.md for build and testing instructions. (#2536)
INSTALL [deleted file] blob | history
INSTALL.md [new file with mode: 0644] blob
examples/README diff | blob | history