Update version number to 3.0

CMakeLists.txt

@@ -41,7 +41,7 @@
 cmake_minimum_required(VERSION 3.4.3 FATAL_ERROR)
 
 project(ikos)
-set(PACKAGE_VERSION "2.2")
+set(PACKAGE_VERSION "3.0")
 
 #
 # Build settings

README.md

@@ -3,7 +3,7 @@ IKOS
 
 [![Build Status](https://travis-ci.org/NASA-SW-VnV/ikos.svg?branch=master)](https://travis-ci.org/NASA-SW-VnV/ikos)
 [![License](https://img.shields.io/badge/license-NOSA%201.3-blue.svg)](LICENSE.pdf)
-[![Release](https://img.shields.io/badge/release-v2.2-orange.svg)](https://github.com/NASA-SW-VnV/ikos/releases/tag/v2.2)
+[![Release](https://img.shields.io/badge/release-v3.0-orange.svg)](https://github.com/NASA-SW-VnV/ikos/releases/tag/v3.0)
 
 IKOS (Inference Kernel for Open Static Analyzers) is a static analyzer for C/C++ based on the theory of Abstract Interpretation.
 

doc/install/CENTOS_6.10.md

@@ -73,7 +73,7 @@ After installation, the install directory will contain the following structure:
 │   ├── include
 │   ├── lib
 │   └── share
-├── ikos-2.2
+├── ikos-3.0
 │   ├── bin
 │   ├── include
 │   ├── lib

doc/install/CENTOS_7.6.md

@@ -69,7 +69,7 @@ After installation, the install directory will contain the following structure:
 │   ├── bin
 │   ├── doc
 │   └── share
-├── ikos-2.2
+├── ikos-3.0
 │   ├── bin
 │   ├── include
 │   ├── lib

doc/install/FEDORA_29.md

@@ -45,7 +45,7 @@ After installation, the install directory will contain the following structure:
 │   ├── bin
 │   ├── include
 │   └── lib
-├── ikos-2.2
+├── ikos-3.0
 │   ├── bin
 │   ├── include
 │   ├── lib

doc/install/FEDORA_30.md

@@ -45,7 +45,7 @@ After installation, the install directory will contain the following structure:
 │   ├── bin
 │   ├── include
 │   └── lib
-├── ikos-2.2
+├── ikos-3.0
 │   ├── bin
 │   ├── include
 │   ├── lib

doc/install/RHEL_6.10.md

@@ -64,7 +64,7 @@ After installation, the install directory will contain the following structure:
 │   ├── include
 │   ├── lib
 │   └── share
-├── ikos-2.2
+├── ikos-3.0
 │   ├── bin
 │   ├── include
 │   ├── lib

doc/install/RHEL_7.7.md

@@ -60,7 +60,7 @@ After installation, the install directory will contain the following structure:
 │   ├── lib64
 │   ├── libexec
 │   └── share
-├── ikos-2.2
+├── ikos-3.0
 │   ├── bin
 │   ├── include
 │   ├── lib

doc/install/ROOTLESS.md

@@ -62,7 +62,7 @@ After installation, the install directory will contain the following structure:
 ├── activate-full
 ├── activate-minimal
 ├── [...]
-├── ikos-2.2
+├── ikos-3.0
 │   ├── bin
 │   ├── include
 │   ├── lib
@@ -103,7 +103,7 @@ $ source /path/to/ikos-install/activate-full
 To run the tests:
 
 ```
-$ cd /path/to/ikos-build/ikos-2.2
+$ cd /path/to/ikos-build/ikos-3.0
 $ make check
 ```
 

script/bootstrap

@@ -69,7 +69,7 @@
 progname=$(basename "$0")
 
 # Version settings
-ikos_version="2.2"
+ikos_version="3.0"
 gcc_required_version="4.9.2"
 clang_required_version="3.4"
 apple_clang_required_version="3.4"