From 200ef236da9f3a8609232e58d95ff23d5dd521f5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 15 Dec 2024 06:01:44 -0800
Subject: [PATCH] Update RELEASE_NOTES.md
---
RELEASE_NOTES.md | 7 +++++++
1 file changed, 7 insertions(+)
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index 020e34a9d..eb5540ee4 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -10,6 +10,13 @@ Version 4.next
- native word level bit-vector solving.
- introduction of simple induction lemmas to handle a limited repertoire of induction proofs.
+Version 4.13.4
+==============
+- several updates to emscripten including #7473
+- add preliminary pyodie build
+- address issues with Java bindings
+- Include start of sls-smt functionality SLS modulo theories as co-processor to SMT core and stand-alone tactic.
+
Version 4.13.3
==============
- Fixes, including #7363