notes

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Mar 20, 2022 · 00608cd · 00608cd
1 parent a418678
commit 00608cd
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/RELEASE_NOTES b/RELEASE_NOTES
@@ -10,6 +10,10 @@ Version 4.8.next
     - native word level bit-vector solving.
   - introduction of simple induction lemmas to handle a limited repertoire of induction proofs.
 
+Version 4.8.15
+==============
+ - elaborate user propagator API. Change id based scheme to expressions
+ - includes a Web Assembly ffi API thanks to Kevin Gibbons
 
 Version 4.8.14
 ==============