Update badges in README to refer to IKOS 3.3 (#266).

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.3 release.
NASA-SW-VnV · Apr 1, 2024 · fcdcb9f · fcdcb9f
1 parent 1db8fe4
commit fcdcb9f
Showing 1 changed file with 1 addition and 1 deletion.
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)