Add changelog entry

usi-verification-and-security · Nov 6, 2022 · 29ad21f · 29ad21f
1 parent 0c26642
commit 29ad21f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/Changelog.md b/Changelog.md
@@ -1,6 +1,8 @@
 ### 2.4.3 (unreleased)
 
 Bug fixes:
+ - UFLA: Fix unsoundness bug due to LASolver not signalling the presence of conflict correctly
+ - ArithLogic: Fix substitution computation in the presence of uninterpreted functions
  - Logic: Evaluate `distinct` function on constant arguments (required for model evaluation)
 
 ### 2.4.2 (2022-10-24)