diff --git a/Changelog b/Changelog index 6beb9fa85166a18116e6cb7a88e4e06836e8d3ad..e8be8fa91aac1c1c46caae62f416476885fd1c47 100644 --- a/Changelog +++ b/Changelog @@ -18,6 +18,8 @@ Open Source Release <next-release> ############################################################################### +o Dev [2024-04-22] Remove frama-c-build-scripts.sh; add a section in + the user manual about how to manually replace it. o Kernel [2024-04-17] Remove deprecated funcs Extlib.string_{pre,suf}fix - Alias [2024-04-16] Fix analysis results in the presence of structures. Complete rework of the API. Improved documentation. Fix stack