Merge branch 'release-3.4'. Close #287.

Author: ivanperez-keera

CMakeLists.txt

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

README.md

@@ -2,7 +2,7 @@ IKOS
 ====
 
 [![License](https://img.shields.io/badge/license-NOSA%201.3-blue.svg)](LICENSE.pdf)
-[![Release](https://img.shields.io/badge/release-v3.3-orange.svg)](https://github.com/NASA-SW-VnV/ikos/releases/tag/v3.3)
+[![Release](https://img.shields.io/badge/release-v3.4-orange.svg)](https://github.com/NASA-SW-VnV/ikos/releases/tag/v3.4)
 [![Linux Build](https://github.com/NASA-SW-VnV/ikos/actions/workflows/build-linux.yml/badge.svg)](https://github.com/NASA-SW-VnV/ikos/actions/workflows/build-linux.yml)
 [![MacOS Build](https://github.com/NASA-SW-VnV/ikos/actions/workflows/build-macos.yml/badge.svg)](https://github.com/NASA-SW-VnV/ikos/actions/workflows/build-macos.yml)