projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0ae3763) | patch
Bump version to 1.0.1 cvc5-1.0.1
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 19 Jul 2022 15:54:48 +0000 (08:54 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Tue, 19 Jul 2022 15:54:48 +0000 (08:54 -0700)
commit4f0c80bb617b4fd4fee2fe7df6fee3b9a76042f3
treeabe376de3260b339fc8a5750c6c9b7e297ad19c4tree
parent0ae37634614383713d4c590afb8b772ea8b02e33commit | diff
Bump version to 1.0.1
cmake/version-base.cmake diff | blob | history