From 90e676b8a54af6e27370d7b93a1de8c10344f606 Mon Sep 17 00:00:00 2001
From: Jan Rochel <jan.rochel@cea.fr>
Date: Tue, 16 Apr 2024 13:56:42 +0200
Subject: [PATCH] [alias] add entry to Changelog
---
Changelog | 3 +++
1 file changed, 3 insertions(+)
diff --git a/Changelog b/Changelog
index 5c4eeb2d8ac..8df8da89c27 100644
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,9 @@
Open Source Release <next-release>
###############################################################################
+- Alias [2024-04-16] Fix analysis results in the presence of structures.
+ Complete rework of the API. Improved documentation. Fix stack
+ overflow in case of a cyclic graph.
- Kernel [2024-04-04] Avoid ambiguous pretty-printing when C labels match
the name of an ACSL built-in label (fix #@1359)
-! Kernel [2024-04-02] Systematically abort when a function is redeclared
--
GitLab