Merge branch 'release-3.3'. Close #266.

NASA-SW-VnV · Apr 1, 2024 · 799c2b0 · 799c2b0
2 parents 7eb2d06 + fcdcb9f
commit 799c2b0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -41,7 +41,7 @@
 cmake_minimum_required(VERSION 3.4.3 FATAL_ERROR)
 
 project(ikos)
-set(PACKAGE_VERSION "3.2")
+set(PACKAGE_VERSION "3.3")
 
 #
 # Build settings

diff --git a/README.md b/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.2-orange.svg)](https://github.com/NASA-SW-VnV/ikos/releases/tag/v3.2)
+[![Release](https://img.shields.io/badge/release-v3.3-orange.svg)](https://github.com/NASA-SW-VnV/ikos/releases/tag/v3.3)
 [![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)