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

[eacsl] Update changelog

parent 061eb041
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 @ 58849965
...@@ -25,6 +25,8 @@ ...@@ -25,6 +25,8 @@
Plugin E-ACSL <next-release> Plugin E-ACSL <next-release>
############################ ############################
-* e-acsl-gcc [2021-11-22] Fix e-acsl-gcc.sh detection of failures in
subcommands.
- E-ACSL [2021-11-03] Improve runtime debug logs: the %a modifier now - E-ACSL [2021-11-03] Improve runtime debug logs: the %a modifier now
outputs in hexadecimal, the debug logs now all end in new lines, outputs in hexadecimal, the debug logs now all end in new lines,
the trace now outputs to stderr. the trace now outputs to stderr.
......
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