mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

updated release notes

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-10-12 12:16:20 -07:00
parent 44db8c083d
commit c48bd1e8de
1 changed files with 27 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

27
RELEASE_NOTES
View file

@ -1,5 +1,32 @@
RELEASE NOTES RELEASE NOTES
Version 4.2
===========
- Now, Z3 automatically adds arithmetic coercions: to_real and to_int.
Option (set-option :int-real-coercions false) disables this feature.
If SMTLIB2_COMPLIANT=true in the command line, then :int-real-coercions is also set to false.
- SMTLIB2_COMPLIANT is false by default. Use command line option SMTLIB2_COMPLIANT=true to enable it back.
- Added "make install" and "make uninstall" to Makefile.in.
- Added "make install-z3py" and "make uninstall-z3py" to Makefile.in.
- Fixed crash/bug in the simplifier. The crash occurred when option ":sort-sums true" was used.
- Added "--with-python=<path>" option to configure script.
- Cleanned c++, maxsat, test_mapi examples.
- Move RELEASE_NOTES files to source code distribution.
- Removed unnecessary files from source code distribution.
- Removed unnecessary compilation modes from z3-prover.sln.
- Added Xor procedure to Z3Py.
First source code release (October 2, 2012) First source code release (October 2, 2012)
=========================================== ===========================================