From 1ce9566e504f3ce14978a9df5e8b37b74e6f621e Mon Sep 17 00:00:00 2001 From: mestorlx Date: Thu, 11 Oct 2018 18:21:49 -0300 Subject: Updated MAXIMUM_STRING_DISTANCE to non static maximumStringDistance taking into account length of the identifier --- Changelog.md | 1 + 1 file changed, 1 insertion(+) (limited to 'Changelog.md') diff --git a/Changelog.md b/Changelog.md index b817dc22..05636a30 100644 --- a/Changelog.md +++ b/Changelog.md @@ -101,6 +101,7 @@ Compiler Features: * Code Generator: Allocate and free local variables according to their scope. * Removed ``pragma experimental "v0.5.0";``. * Syntax Checker: Improved error message for lookup in function types. + * Name Resolver: Updated name suggestion look up function to take into account length of the identifier: 1: no search, 2-3: at most one change, 4-: at most two changes Bugfixes: * Build System: Support versions of CVC4 linked against CLN instead of GMP. In case of compilation issues due to the experimental SMT solver support, the solvers can be disabled when configuring the project with CMake using ``-DUSE_CVC4=OFF`` or ``-DUSE_Z3=OFF``. -- cgit