aboutsummaryrefslogtreecommitdiffstats
path: root/Changelog.md
diff options
context:
space:
mode:
Diffstat (limited to 'Changelog.md')
-rw-r--r--Changelog.md2
1 files changed, 2 insertions, 0 deletions
diff --git a/Changelog.md b/Changelog.md
index 6f2c50f2..d2c9fefb 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -12,8 +12,10 @@ Features:
* Inline Assembly: ``for`` and ``switch`` statements.
* Inline Assembly: function definitions and function calls.
* Code Generator: Added the Whiskers template system.
+ * Remove obsolete Why3 output.
Bugfixes:
+ * Code generator: Use ``REVERT`` instead of ``INVALID`` for generated input validation routines.
* Type Checker: Fix address literals not being treated as compile-time constants.
* Type Checker: Disallow invoking the same modifier multiple times.
* Type Checker: Make UTF8-validation a bit more sloppy to include more valid sequences.