From f5fd8208565d144697977c707a07e0c74ab9bf4b Mon Sep 17 00:00:00 2001 From: soaibsafi Date: Tue, 26 Nov 2024 11:54:13 +0100 Subject: [PATCH] =?UTF-8?q?=F0=9F=94=96Updated=20changelog=20v2.2.1?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- CHANGELOG.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 8e67fa7..9845cf9 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,11 @@ # Change Log +## v2.2.1 [2024-11-26] +### Changed +⚡️Set alloy memory usage limit; restart if exceeded +⚡️Using minisat for alloy +🐛Handle label on alloy commands + ## v2.2.0 [2024-11-20] ### Added - ✨ Added typo validation in Limboole.