projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62e2ba2) | patch
Update README according to the new website (#3438)
authoryoni206 <yoni206@users.noreply.github.com>
Mon, 11 Nov 2019 17:07:14 +0000 (09:07 -0800)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 11 Nov 2019 17:07:14 +0000 (11:07 -0600)
commit5d1c52999d78d5e825654d729279df8c49488133
tree16a6a0d42634a5a85338f340666bc128016cedf4tree
parent62e2ba213a6488197fa0a9b3cdd7845fc397d32bcommit | diff
Update README according to the new website (#3438)
README.md diff | blob | history