Skip to content
Snippets Groups Projects
Commit 5b0c9d1f authored by Kostyantyn Vorobyov's avatar Kostyantyn Vorobyov
Browse files

Add a changelog entry about fixing issue #1817

parent 6de411a4
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
+ 2
− 0
View file @ 5b0c9d1f
...@@ -15,6 +15,8 @@ ...@@ -15,6 +15,8 @@
# E-ACSL: the Whole E-ACSL plug-in # E-ACSL: the Whole E-ACSL plug-in
############################################################################### ###############################################################################
-* E-ACSL [2015/08/12] Fix bug #0001817: Literal strings in global
arrays with compound initializers are not correctly initialized.
-* E-ACSL [2015/11/06] Fix a crash occuring when using a recent libc -* E-ACSL [2015/11/06] Fix a crash occuring when using a recent libc
while GMP headers provided by E-ACSL are used. while GMP headers provided by E-ACSL are used.
......
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