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

[Changelog] update wrt modules

parent 6ed00aea
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 6 additions and 0 deletions
Changelog
+ 6
− 0
View file @ bb06c914
...@@ -64,6 +64,12 @@ o Dev [2024-04-22] Remove frama-c-build-scripts.sh; add a section in ...@@ -64,6 +64,12 @@ o Dev [2024-04-22] Remove frama-c-build-scripts.sh; add a section in
- Eva [2024-04-18] Remove support for deprecated WIDEN_HINTS loop pragma. - Eva [2024-04-18] Remove support for deprecated WIDEN_HINTS loop pragma.
Use ACSL extension "widen_hints" instead. Use ACSL extension "widen_hints" instead.
o Kernel [2024-04-17] Remove deprecated funcs Extlib.string_{pre,suf}fix o Kernel [2024-04-17] Remove deprecated funcs Extlib.string_{pre,suf}fix
- 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. 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. - Alias [2024-04-16] Fix analysis results in the presence of structures.
Complete rework of the API. Improved documentation. Fix stack Complete rework of the API. Improved documentation. Fix stack
overflow in case of a cyclic graph. overflow in case of a cyclic graph.
......
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