projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: afdc254)
Bump version to 0.0.11
authorMathias Preiner <mathias.preiner@gmail.com>
Sun, 3 Apr 2022 04:32:04 +0000 (21:32 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sun, 3 Apr 2022 04:32:04 +0000 (21:32 -0700)
cmake/version-base.cmake patch | blob | history

diff --git a/cmake/version-base.cmake b/cmake/version-base.cmake
index 9d4643a55d77dabb3945aa19a17df9a662d2e0b2..315a71408815b8009c196a6905932347b7677287 100644 (file)
--- a/cmake/version-base.cmake
+++ b/cmake/version-base.cmake
@@ -1,6 +1,6 @@
 # These are updated when making a release
-set(CVC5_LAST_RELEASE "0.0.10")
-set(CVC5_IS_RELEASE "false")
+set(CVC5_LAST_RELEASE "0.0.11")
+set(CVC5_IS_RELEASE "true")
 
 # These are used in other places in cmake
 # If possible, they are updated by version.cmake