From 2cf43525969edf58ffdbc3f09baf3c636eb74522 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 13 Feb 2020 19:48:09 +0100
Subject: [PATCH] Update Changelog
---
Changelog | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/Changelog b/Changelog
index 6f9417e2f52..4e6481d8418 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,14 @@
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
OCaml stdlib modules Buffer, Map and Set instead.
-* GUI [2020/01/24] Fix order of globals in the source panel.
--
GitLab