From 044058276ea27b3d43622b28416ad4dc41091a31 Mon Sep 17 00:00:00 2001 From: chriseth Date: Fri, 30 Jun 2017 16:37:08 +0200 Subject: Warn about callcode. --- Changelog.md | 1 + 1 file changed, 1 insertion(+) (limited to 'Changelog.md') diff --git a/Changelog.md b/Changelog.md index 8b44934d..4f224d5b 100644 --- a/Changelog.md +++ b/Changelog.md @@ -16,6 +16,7 @@ Features: * Code Generator: Added the Whiskers template system. * Remove obsolete Why3 output. * Type Checker: Enforce strict UTF-8 validation. + * Static Analyzer: Warn about deprecation of ``callcode``. Bugfixes: * Code generator: Use ``REVERT`` instead of ``INVALID`` for generated input validation routines. -- cgit