update release notes

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Mar 7, 2024 · 6254844 · 6254844
1 parent 7b7084d
commit 6254844
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -10,6 +10,10 @@ 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
+============
+- add ARM64 wheels for Python, thanks to Steven Moy, smoy
+
 Version 4.12.6
 ==============
 - remove expensive rewrite that coalesces adjacent stores