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

[eacsl] Fix category of past changelog entries

parent 5c7c0758
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
− 2
View file @ 227677ec
...@@ -34,10 +34,10 @@ Plugin E-ACSL <next-release> ...@@ -34,10 +34,10 @@ Plugin E-ACSL <next-release>
-* E-ACSL [2021-11-23] Add support for VDSO segment on Linux. -* E-ACSL [2021-11-23] Add support for VDSO segment on Linux.
-* e-acsl-gcc [2021-11-22] Fix e-acsl-gcc.sh detection of failures in -* e-acsl-gcc [2021-11-22] Fix e-acsl-gcc.sh detection of failures in
subcommands. subcommands.
- E-ACSL [2021-11-03] Improve runtime debug logs: the %a modifier now - runtime [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.
-* E-ACSL [2021-11-03] Fix default stack size: E_ACSL_STACK_SIZE -* runtime [2021-11-03] Fix default stack size: E_ACSL_STACK_SIZE
is now correctly used by the runtime, the default values is now correctly used by the runtime, the default values
have been adjusted to what was effectively used. have been adjusted to what was effectively used.
-* E-ACSL [2021-11-03] Now the same Frama-C options are used when parsing -* E-ACSL [2021-11-03] Now the same Frama-C options are used when parsing
......
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