Add CHANGELOG for v2.2.1

goblint · Sep 13, 2023 · 166a9b6 · 166a9b6
1 parent 833d90d
commit 166a9b6
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,7 @@
+## v2.2.1
+* Bump batteries lower bound to 3.5.0.
+* Fix flaky dead code elimination transformation test.
+
 ## v2.2.0
 * Add `setjmp`/`longjmp` analysis (#887, #970, #1015, #1019).
 * Refactor race analysis to lazy distribution (#1084, #1089, #1136, #1016).