From d6df51951f4cdc95f0dfd3b1297d04a465d8f2ca Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 20 Dec 2018 10:32:36 -0800 Subject: [PATCH] release notes Signed-off-by: Nikolaj Bjorner --- RELEASE_NOTES | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/RELEASE_NOTES b/RELEASE_NOTES index 06618a8f2..ba254db4e 100644 --- a/RELEASE_NOTES +++ b/RELEASE_NOTES @@ -1,5 +1,15 @@ RELEASE NOTES +Version 4.8.4 +============= + +- Notes + - fixes bugs + - a substantial update to how the seq theory solver handles regular + expressions. Other performance improvements to the seq solver. + - Managed .NET DLLs include dotnet standard 1.4 on supported platforms. + - Windows Managed DLLs are strong signed in the released binaries. + Version 4.8.3 ============= - New features