[Eva] Updates the Changelog.

bd68fe22 · David Bühler · 361a2e4b · bd68fe22
Commit bd68fe22 authored 2 years ago by David Bühler
--- a/Changelog
+++ b/Changelog
@@ -18,6 +18,7 @@
 Open Source Release <next-release>
 ##################################

+-   Eva       [2022-05-02] Fixes stack overflow errors on very large C functions.
 -   Eva       [2022-04-25] Improve the multidim abstract domain: it is now
              more precise and more robust, it is able to infer simple array
              invariants on some loops without unrolling, and has a new option