diff --git a/Changelog b/Changelog index 5c4eeb2d8acaeda9d7c0e51889f43721cd96eb38..8df8da89c27edfaf42293f4247a164d10f29af46 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