diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-06-19 12:02:20 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-19 14:02:20 -0500 |
commit | 733083c3bb6700b70ff31c3a679d519f493b680f (patch) | |
tree | 57a707a1ce1204792557d90807f22506e71601ab | |
parent | 11c1fba70098cc72c59b2d335249332790287c20 (diff) |
Update version information post 1.8 release (#4635)
-rw-r--r-- | CMakeLists.txt | 2 | ||||
-rw-r--r-- | INSTALL.md | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index e4d4aaeda..a44805482 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -6,7 +6,7 @@ cmake_minimum_required(VERSION 3.2) project(cvc4) set(CVC4_MAJOR 1) # Major component of the version of CVC4. -set(CVC4_MINOR 8) # Minor component of the version of CVC4. +set(CVC4_MINOR 9) # Minor component of the version of CVC4. set(CVC4_RELEASE 0) # Release component of the version of CVC4. # Extraversion component of the version of CVC4. diff --git a/INSTALL.md b/INSTALL.md index 0c78e9fb1..bf3a20ed2 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -1,5 +1,5 @@ -CVC4 release version 1.8 -======================== +CVC4 prerelease version 1.9 +=========================== ## Building CVC4 |