Merge pull request #71 from ftsrg/theta-v2.8.0

Upgrade to Theta v2.8.0
ftsrg · Dec 15, 2020 · dbd2cc7 · dbd2cc7
2 parents d4f51cb + e343d72
commit dbd2cc7
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -17,7 +17,7 @@ addons:
     - python3-setuptools
     - python3-psutil
 env:
-- THETA_VERSION="v2.5.0"
+- THETA_VERSION="v2.8.0"
 script:
 # fetch LLVM and other dependencies
 - wget -O - https://apt.llvm.org/llvm-snapshot.gpg.key | sudo apt-key add -

diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -10,7 +10,7 @@ if(NOT DEFINED GAZER_VERSION_MINOR)
   set(GAZER_VERSION_MINOR 3)
 endif()
 if(NOT DEFINED GAZER_VERSION_PATCH)
-  set(GAZER_VERSION_PATCH 0)
+  set(GAZER_VERSION_PATCH 1)
 endif()
 if(NOT DEFINED GAZER_VERSION_SUFFIX)
   set(GAZER_VERSION_SUFFIX "")

diff --git a/Dockerfile b/Dockerfile
@@ -1,6 +1,6 @@
 FROM ubuntu:18.04
 
-ENV THETA_VERSION v2.5.0
+ENV THETA_VERSION v2.8.0
 
 RUN apt-get update && \
     apt-get install -y build-essential git cmake \

diff --git a/README.md b/README.md
@@ -5,7 +5,7 @@ It provides a user-friendly end-to-end verification workflow, with support for m
 
 Currently we support two verification backends:
 * `gazer-theta` leverages the power of the [theta](https://github.com/ftsrg/theta) model checking framework.
-  * Currently, [v2.5.0](https://github.com/ftsrg/theta/releases/tag/v2.5.0) is tested, but newer releases might also work.
+  * Currently, [v2.8.0](https://github.com/ftsrg/theta/releases/tag/v2.8.0) is tested, but newer releases might also work.
 * `gazer-bmc` is gazer's built-in bounded model checking engine.
 
 # Usage