From 66cb93b61aadf7ff8d6d1919842576b7f4f6e363 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Franz=20Brau=C3=9Fe?= <franz.brausse@manchester.ac.uk>
Date: Fri, 19 Apr 2024 09:26:34 +0200
Subject: [PATCH] release v2.1

---
 CHANGELOG | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG b/CHANGELOG
index b9cfa9f..90969e4 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,6 +1,11 @@
 
-* - Add ltl2ba_version() + macros to query link/compile-time version of library.
-  - Adapt C output for current level of support of ESBMC.
+* libltl2ba - Version 2.1 - April 2024
+  Modified by Franz Brauße, University of Manchester, UK
+  Copyright (c) 2023  Franz Brauße
+  Available at https://github.com/fbrausse/libltl2ba
+
+  - Add ltl2ba_version() + macros to query link/compile-time version of library.
+  - Adapt C output for level of support of upcoming ESBMC release v7.6.
   - Parse U, V and -> as right-associative operators and forbid chaining <->
     because there is no universally agreed upon interpretation of a <-> b <-> c.
   - Parser checks that the entire formula was parsed (it silently allowed