From 645c5a63031ba0c3ac7bbfe84f6a18f767dacafc Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 20 Aug 2019 15:05:15 +0200
Subject: [PATCH] changelog
---
Changelog | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/Changelog b/Changelog
index 356c0d9f00d..89126925807 100644
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,15 @@
Open Source Release <next-release>
##################################
+-* Kernel [2019/08/20] Fixes a rare but critical bug which occured when
+ Frama-C internally switched the current project in presence of >2
+ projects and destroyed the old current project at about the same
+ time: the Frama-C internal state became inconsistent and lead to
+ unsound computations and crashes. It may be revealed to the
+ end-user when using a long sequence of -then-replace (at least 3
+ of them).
+-* Kernel [2019/08/20] Fixed sequence of -removed-projects and -then
+ options.
o Ptests [2019/08/05] Add new MODULE directive for compiling and loading
an auxiliary OCaml module for a test
- Kernel [2019/08/05] Add -keep-unused-types normalization option
--
GitLab