Skip to content
Snippets Groups Projects
Commit 0cf76037 authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

Update Changelog

parent 1be43df7
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 @ 0cf76037
...@@ -17,6 +17,8 @@ ...@@ -17,6 +17,8 @@
Open Source Release <next-release> Open Source Release <next-release>
################################## ##################################
- Kernel [2020/02/14] -constfold now takes into account value
of const globals
o ACSL [2020/02/13] Add possibility for ACSL extensions to alter the o ACSL [2020/02/13] Add possibility for ACSL extensions to alter the
sequence of untyped terms they receive from the parser. Make also sequence of untyped terms they receive from the parser. Make also
possible to customize the short pretty printer of extensions. possible to customize the short pretty printer of extensions.
......
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