projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c4e66db) | patch
Bump version to 0.0.1
authorMathias Preiner <mathias.preiner@gmail.com>
Mon, 11 Oct 2021 22:45:50 +0000 (15:45 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Mon, 11 Oct 2021 22:45:50 +0000 (15:45 -0700)
commit184e725fae1bdc57ca771488fb82e6e9d388b614
tree035a5765ecb7435d7a94b9f8919f6ce5d574582atree
parentc4e66db48339802b8f5f76558b4d2576f8de1adbcommit | diff
Bump version to 0.0.1
cmake/version-base.cmake diff | blob | history