mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
add feature description to RELEASE_NOTES
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
d25c7e67eb
commit
6b7c0ce334
|
@ -1,5 +1,12 @@
|
|||
RELEASE NOTES
|
||||
|
||||
Version 4.8.7
|
||||
- New features
|
||||
- setting parameter on solver over the API by
|
||||
solver.smtlib2_log=<filename>
|
||||
enables tracing calls into the solver as SMTLIB2 commands.
|
||||
It traces, assert, push, pop, check_sat, get_consequences.
|
||||
|
||||
Version 4.8.6
|
||||
=============
|
||||
- Notes
|
||||
|
|
Loading…
Reference in a new issue