mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
notes
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
a418678cd4
commit
00608cd719
|
@ -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
|
||||
==============
|
||||
|
|
Loading…
Reference in a new issue