projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0d216c) | patch
Bump version to 0.0.7
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 28 Jan 2022 20:34:14 +0000 (12:34 -0800)
committerMathias Preiner <mathias.preiner@gmail.com>
Fri, 28 Jan 2022 20:34:14 +0000 (12:34 -0800)
commit6c0a7c8e3457a2fa54f7b8a592adcad3be1ee5d3
treea33913e2b4d9ffc69b89f3a54081b491cf65496ctree
parentb0d216c23bff2163be3f77dfc37f36af5f504686commit | diff
Bump version to 0.0.7
cmake/version-base.cmake diff | blob | history