projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 41cc2b3) | patch
Bump version to 0.0.8
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 31 Mar 2022 00:53:18 +0000 (17:53 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Thu, 31 Mar 2022 00:53:18 +0000 (17:53 -0700)
commit35e9e9a141896bcdd01c55ee96153d2b5b019198
treea4f63e12a1610efb2be6ce032068575a514354c3tree
parent41cc2b3dbd78f12b35cb99afa91965aca53aa687commit | diff
Bump version to 0.0.8
cmake/version-base.cmake diff | blob | history