changelog

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