projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29685ea) | patch
Update release notes and lib version (#2933)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Thu, 4 Apr 2019 02:06:25 +0000 (21:06 -0500)
committerGitHub <noreply@github.com>
Thu, 4 Apr 2019 02:06:25 +0000 (21:06 -0500)
commitae712e32aae0947205f506f7caacc670311c6763
tree423a8dd7be8beac504783197f992c6b7d9a14d51tree
parent29685eaf8d49b12c04cbb4767f832cc623709aabcommit | diff
Update release notes and lib version (#2933)
CMakeLists.txt diff | blob | history
RELEASE-NOTES diff | blob | history