🔖Updated changelog v2.1.1

se-buw · Nov 5, 2024 · 675894f · 675894f
1 parent 51bdb1e
commit 675894f
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,12 @@
 # Change Log
 
+## v2.1.1 [2024-11-05]
+### Changed
+- 🐛Fixed Alloy default run command ignoring all facts
+- 🧪Fixed Alloy-api bkoken test cases
+- ⚡️Removed some unused code
+- ⚡️Fixed some code smells
+
 ## v2.1.0 [2024-11-01]
 ### Added
  - ✨ SMT in editor language support (browser worker)