projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a1d6139) | patch
Bump version to 1.0.0 cvc5-1.0.0
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 5 Apr 2022 23:56:20 +0000 (16:56 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Tue, 5 Apr 2022 23:56:20 +0000 (16:56 -0700)
commit24fc4950db70cd7bc3dff25daa43c7aecc2e21a8
tree3a569c4dee93982e7d2bfcfbe6915796a221c32ftree
parenta1d6139547f49cf939494c56cd69396b517bff19commit | diff
Bump version to 1.0.0
cmake/version-base.cmake diff | blob | history