projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f15eba) | patch
Bump version to 0.0.6
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 25 Jan 2022 19:19:53 +0000 (11:19 -0800)
committerMathias Preiner <mathias.preiner@gmail.com>
Tue, 25 Jan 2022 19:19:53 +0000 (11:19 -0800)
commit09bfaddb84ff7dea938443301a4ea8c3cc6d9867
treee58162c8edb01f3b3b12875c7fabd0ebb78b2fbftree
parent0f15ebaeaa34b52e6bd3268cfc5cf411cad4a21fcommit | diff
Bump version to 0.0.6
cmake/version-base.cmake diff | blob | history