diff --git a/Changelog b/Changelog index 68ec669e4d8cb47b6a27e7f1bed4c66813d86e48..c1519d1bef4d7a87323733f950c114b4edb92dec 100644 --- a/Changelog +++ b/Changelog @@ -18,6 +18,8 @@ Open Source Release <next-release> ############################################################################### +- Kernel [2025-01-17] New option -memory-footprint to configure the memory + usage of analyses. o! Kernel [2024-12-20] Remove Cabs.SEQUENCE statement ###############################################################################