projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c65e284) | patch
Bump version to 0.0.3
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 29 Oct 2021 22:25:01 +0000 (15:25 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Fri, 29 Oct 2021 22:25:01 +0000 (15:25 -0700)
commit64eb679729bcf173813911cf49bd008a7c4a12bf
treed3b11ea72454676f75142b372681a93285a518f2tree
parentc65e2843c54fba0324e5ce39b6e47c34068b4aebcommit | diff
Bump version to 0.0.3
cmake/version-base.cmake diff | blob | history