Skip to content
Snippets Groups Projects
Commit 6d4a419c authored by David Bühler's avatar David Bühler
Browse files

Updates the Changelog following the merge of frama-c/frama-c!4647.

parent 43b3e0f2
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 0 deletions
Changelog
+ 2
− 0
View file @ 6d4a419c
......@@ -18,6 +18,8 @@
Open Source Release <next-release>
###############################################################################
o! Kernel [2024-08-08] Plug-ins Dominators and Postdominators have been
removed and replaced by the Dominators module in the kernel.
- Eva [2024-08-06] Support for 'calls' ACSL extension
o Kernel [2024-08-05] Added new modules `Cache_dir` and `State_dir`
and additional facilities to build sub-directories in these
......
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