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

Update Changelog

parent 99f78e19
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 8 additions and 0 deletions
Changelog
+ 8
− 0
View file @ 2cf43525
...@@ -17,6 +17,14 @@ ...@@ -17,6 +17,14 @@
Open Source Release <next-release> Open Source Release <next-release>
################################## ##################################
o ACSL [2020/02/13] Add possibility for ACSL extensions to alter the
sequence of untyped terms they receive from the parser. Make also
possible to customize the short pretty printer of extensions.
o Kernel [2020/02/13] Deprecated:
- Logic_typing.register_*_extension
- Cil_printer.register_*_extension
- Cil.register_behavior_extension
Use Acsl_extension.register_* instead
o! Kernel [2020/02/04] Removed FCBuffer, FCMap and FCSet. Use directly o! Kernel [2020/02/04] Removed FCBuffer, FCMap and FCSet. Use directly
OCaml stdlib modules Buffer, Map and Set instead. OCaml stdlib modules Buffer, Map and Set instead.
-* GUI [2020/01/24] Fix order of globals in the source panel. -* GUI [2020/01/24] Fix order of globals in the source panel.
......
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