projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7d27cae) | patch
Referring to prerelease 1.8 (#2943)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Fri, 12 Apr 2019 21:16:33 +0000 (16:16 -0500)
committerGitHub <noreply@github.com>
Fri, 12 Apr 2019 21:16:33 +0000 (16:16 -0500)
commitea865ade5ab89f54425182fc580b439a58204c43
tree2b808f2dc03d54966ca9f77249cdf6c49df178c1tree
parent7d27cae34c7c3cda9a7827754fb5b8e485d515dbcommit | diff
Referring to prerelease 1.8 (#2943)
CMakeLists.txt diff | blob | history
INSTALL.md diff | blob | history