Merge branch 'fix/eva/changelog' into 'stable/chromium'

[Eva] Retroactively updates the Changelog for Eva.

See merge request frama-c/frama-c!3428

Changelog

@@ -21,6 +21,23 @@ Open Source Release <next-release>
 Open Source Release 24.0 (Chromium)
 ###################################
 
+-   Eva       [2021-10-19] New options to allow states partitioning to survive
+              function returns: -eva-interprocedural-split for disjunctions
+              from split annotations, and -eva-interprocedural-history for
+              disjunctions from the -eva-partition-history option.
+-   Eva       [2021-10-14] Supports the evaluation of ACSL set comprehension.
+-   Eva       [2021-10-14] On a SIGINT signal (Ctrl-C), the analysis is stopped
+              but partial results are saved if option -save is set.
+-*  Eva       [2021-10-12] Always checks the arguments of builtin calls for
+              alarms about initialization, escaping pointers and special
+              floating-point values, unless -eva-warn-copy-indeterminate is set.
+-*  Kernel    [2021-10-11] Fixes crashes on C integer constants overflowing
+              ocaml integers.
+-   Eva       [2021-10-06] Improves the precision of the octagon domain on
+              unsigned variables.
+-*  Eva       [2021-10-06] Fixes a soundness bug in the octagon domain on
+              integer downcasts wrapping around.
+-   Eva       [2021-09-10] Improves the symbolic-locations domain precision.
 -   Kernel    [2021-09-02] 0-sized flexible array members only available in
               gcc_* machdeps, that now also support FAM in nested struct.
 -   Eva       [2021-07-26] Removes the maximum limit of option -eva-ilevel.