Skip to content
Snippets Groups Projects
Commit 90e676b8 authored by Jan Rochel's avatar Jan Rochel
Browse files

[alias] add entry to Changelog

parent b6e0f44a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 3 additions and 0 deletions
Changelog
+ 3
− 0
View file @ 90e676b8
...@@ -18,6 +18,9 @@ ...@@ -18,6 +18,9 @@
Open Source Release <next-release> 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 - Kernel [2024-04-04] Avoid ambiguous pretty-printing when C labels match
the name of an ACSL built-in label (fix #@1359) the name of an ACSL built-in label (fix #@1359)
-! Kernel [2024-04-02] Systematically abort when a function is redeclared -! Kernel [2024-04-02] Systematically abort when a function is redeclared
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment