Skip to content
Snippets Groups Projects
Commit 6ed00aea authored by Loïc Correnson's avatar Loïc Correnson Committed by Virgile Prevosto
Browse files

[Changelog] entries related to modules

parent a80caab5
No related branches found
No related tags found
No related merge requests found
......@@ -54,6 +54,9 @@ Open Source Release 29.0 (Copper)
use array > SIZE_MAX by changing its status (default is error).
- Eva [2024-04-26] Improve builtins memcpy, memmove and memset when
arguments are imprecise.
- Kernel [2024-04-22] Support for ACSL modules.
o! Dev [2024-04-22] Move functions for finding logic types, functions,
predicates and constructors from Logic_typing to Logic_env.
o Dev [2024-04-22] Remove frama-c-build-scripts.sh; add a section in
the user manual about how to manually replace it.
-! Kernel [2024-04-19] Change format of custom_defs field in machdep schema
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment