Skip to content
Snippets Groups Projects
Commit 49ecc8b9 authored by Basile Desloges's avatar Basile Desloges
Browse files

[eacsl] Update Changelog

parent 44d98ec0
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/doc/Changelog
+ 7
− 0
View file @ 49ecc8b9
...@@ -21,6 +21,13 @@ ...@@ -21,6 +21,13 @@
# configure configure # configure configure
############################################################################### ###############################################################################
############################
Plugin E-ACSL <next-release>
############################
-* E-ACSL [2020-06-18] Fix support of VLA memory tracking.
(frama-c/e-acsl#119)
############################# #############################
Plugin E-ACSL 21.0 (Scandium) Plugin E-ACSL 21.0 (Scandium)
############################# #############################
......
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