projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f1a242b) | patch
Bump version to 0.0.12
authorMathias Preiner <mathias.preiner@gmail.com>
Mon, 4 Apr 2022 20:52:42 +0000 (13:52 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Mon, 4 Apr 2022 20:52:42 +0000 (13:52 -0700)
commit0f9daddd7c9aa8b730271af765d7735dd5ace2e1
tree0f767308f45ce12699779347fb9c0cad3fe334cftree
parentf1a242bb12242666dc85206cd1cd1f203e200c43commit | diff
Bump version to 0.0.12
cmake/version-base.cmake diff | blob | history