diff options
Diffstat (limited to 'Changelog.md')
| -rw-r--r-- | Changelog.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Changelog.md b/Changelog.md index 05636a30..01599026 100644 --- a/Changelog.md +++ b/Changelog.md @@ -102,6 +102,7 @@ Compiler Features: * 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 + * SMTChecker: Support calls to internal functions that return none or a single value. 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``. |