Skip to content
Snippets Groups Projects
Commit 29c3583f authored by David Bühler's avatar David Bühler
Browse files

[Eva] Retrospectively updates the Changelog.

parent decd8548
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 0 deletions
Changelog
+ 2
− 0
View file @ 29c3583f
...@@ -52,6 +52,8 @@ o Kernel [2019/02/05] Integer API moving closer to Zarith ...@@ -52,6 +52,8 @@ o Kernel [2019/02/05] Integer API moving closer to Zarith
are not printed by default, use -kernel-msg-key printer:attrs are not printed by default, use -kernel-msg-key printer:attrs
-! Kernel [2019/01/03] Improved precision of integer abstract bitwise -! Kernel [2019/01/03] Improved precision of integer abstract bitwise
operators. operators.
-* Eva [2018/12/17] Fixes -eva-split-return on uninitialized or escaping
function returns when -eva-warn-copy-indeterminate is disabled.
o Kernel [2018/12/11] New functions for retrieving major and minor version o Kernel [2018/12/11] New functions for retrieving major and minor version
-* Kernel [2018/12/04] Fixes AST integrity check wrt volatile accesses -* Kernel [2018/12/04] Fixes AST integrity check wrt volatile accesses
-* Kernel [2018/11/21] Fixes #@553 - pretty-printing of basic asm template -* Kernel [2018/11/21] Fixes #@553 - pretty-printing of basic asm template
......
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