Updates the Changelog.

5bcef751 · David Bühler · 8d80165b · 5bcef751
Commit 5bcef751 authored Sep 07, 2020 by David Bühler
--- a/Changelog
+++ b/Changelog
@@ -17,6 +17,8 @@
 Open Source Release <next-release>
 ##################################

+-   Eva       [2020-09-07] Deprecates legacy options aliases -val-* in favor
+              of option names -eva-*.
 -*  Slicing   [2020-09-07] Better handling of invalid command line options.
 -   Eva       [2020-07-27] Improved automatic loop unroll (-eva-auto-loop-unroll
              option) on loops with several exit conditions, conditions using