release v2.1

esbmc · Apr 19, 2024 · 66cb93b · 66cb93b
1 parent 426c0e7
commit 66cb93b
Showing 1 changed file with 7 additions and 2 deletions.
diff --git 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