From 103cd248f178db00878e776278e197a684e5ea05 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 18 Aug 2022 12:51:33 -0700 Subject: [PATCH] update release notes Signed-off-by: Nikolaj Bjorner --- RELEASE_NOTES.md | 1 + 1 file changed, 1 insertion(+) diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md index 783e92e4b..afbd03b00 100644 --- a/RELEASE_NOTES.md +++ b/RELEASE_NOTES.md @@ -23,6 +23,7 @@ Version 4.11.0 - it allows to apply incremental pre-processing of bit-vectors by identifying ranges that are known to be constant. This rewrite is beneficial, for instance, when bit-vectors are constrained to have many high-level bits set to 0. - add feature to model-based projection for arithmetic to handle integer division. +- add from_string method to JavaScript solver object. Version 4.10.2 ==============