From f9d453930267c0f3f801d9469bd4303fadd4fd05 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Mon, 25 Dec 2023 18:35:14 -0800 Subject: [PATCH 1/2] Update version number to 3.2 (#255). --- CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 1889d780..2d4aa407 100644 --- 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-rc1") +set(PACKAGE_VERSION "3.2") # # Build settings From 32d2279fca9022529daff22166ea0fdcf20ffca5 Mon Sep 17 00:00:00 2001 From: Ivan Perez Date: Thu, 28 Dec 2023 08:26:52 -0800 Subject: [PATCH 2/2] Update badges in README to refer to IKOS 3.2 (#255). The badges at the top of the README file refer to a specific release (tag). This commit updates the badges to point to the upcoming 3.2 release. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 503ef23c..08450340 100644 --- 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.1-orange.svg)](https://github.com/NASA-SW-VnV/ikos/releases/tag/v3.1) +[![Release](https://img.shields.io/badge/release-v3.2-orange.svg)](https://github.com/NASA-SW-VnV/ikos/releases/tag/v3.2) [![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)