CHANGES for 2.5.4

Halbaroth · May 13, 2024 · 37b2add · 37b2add
1 parent 6130ccb
commit 37b2add
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/CHANGES.md b/CHANGES.md
@@ -1,3 +1,12 @@
+## v2.5.4
+
+### Bug fixes
+
+* Fix a long-standing soundness issue in the FPA module (#1122, originally
+  reported in #1111)
+* Dolmen frontend incorrectly allowed semantic triggers outside of theory
+  extensions (#1122)
+
 ## v2.5.3
 
 ### Build