From 9e049a1355c3f0113f73425629dcad6fdf20fe54 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 4 May 2023 20:02:00 +0200
Subject: [PATCH] Updates Changelog for MR !4032.

---
 Changelog | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Changelog b/Changelog
index 367fea6ff34..9e9f282d7a7 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,8 @@
 Open Source Release <next-release>
 ###############################################################################
 
+-   Eva       [2023-05-04] The octagon domain can now infer relations between
+              any lvalues of integer or pointer types.
 -*  Ivette    [2023-05-02] Ends properly frama-c process when Ivette is closed.
 -*  Ivette    [2023-05-02] Custom views are correctly saved and reloaded.
 -*  Eva       [2023-05-02] Fixes interpretation of Eva annotations at the end of
-- 
GitLab