mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-07-18 02:16:40 +00:00
Code Activity

fixed release notes

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2012-11-20 08:46:48 -08:00
parent 557cda70b0
commit c097b5620d
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
RELEASE_NOTES
View file

@ -7,7 +7,7 @@ Version 4.3.2
- Added support for FreeBSD. Z3 can be compiled on FreeBSD using g++. - Added support for FreeBSD. Z3 can be compiled on FreeBSD using g++.
- Reverted to `(set-option :global-decls false)` as the default. In Z3 4.3.0 and Z3 4.3.1, this option was set to false. - Reverted to `(set-option :global-decls false)` as the default. In Z3 4.3.0 and Z3 4.3.1, this option was set to true.
Thanks to Julien Henry for reporting this problem. Thanks to Julien Henry for reporting this problem.
Version 4.3.1 Version 4.3.1