projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 880f0b7) | patch
prerelease -> release (#2941)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Fri, 5 Apr 2019 21:02:41 +0000 (16:02 -0500)
committerGitHub <noreply@github.com>
Fri, 5 Apr 2019 21:02:41 +0000 (16:02 -0500)
commit4be22912d85ef4291439638d4dc3e9020eafb5d0
tree6e1e36236be8bea1994ca4aeaffcfed5417afd63tree
parent880f0b719479ff9f9b415749b2ccf9016274a99dcommit | diff
prerelease -> release (#2941)
CMakeLists.txt diff | blob | history