From 6c11a78e610c4b022a09a8d2e5dca567931c0e1e Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 20 Nov 2012 08:41:45 -0800 Subject: [PATCH 1/4] fixed .gitignore Signed-off-by: Leonardo de Moura --- .gitignore | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 916a91f5d..8424ea64b 100644 --- a/.gitignore +++ b/.gitignore @@ -6,6 +6,7 @@ *.cma *.cmi *.cmxa +ocamlz3 # Emacs temp files \#*\# # Directories with generated code and documentation @@ -23,7 +24,7 @@ src/HTML/* src/cscope.in.out src/cscope.out src/cscope.po.out -ncsope.out +ncscope.out # CEDET files .cproject .project From 557cda70b0ce9c05d5ba2a4ed0221d36a44c5b2d Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 20 Nov 2012 08:45:31 -0800 Subject: [PATCH 2/4] Set :global-decls to false Signed-off-by: Leonardo de Moura --- RELEASE_NOTES | 3 +++ src/cmd_context/cmd_context.cpp | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/RELEASE_NOTES b/RELEASE_NOTES index 2bf6fb7b0..845b11395 100644 --- a/RELEASE_NOTES +++ b/RELEASE_NOTES @@ -7,6 +7,9 @@ Version 4.3.2 - 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. + Thanks to Julien Henry for reporting this problem. + Version 4.3.1 ============= diff --git a/src/cmd_context/cmd_context.cpp b/src/cmd_context/cmd_context.cpp index 225f0be87..0fb4b8512 100644 --- a/src/cmd_context/cmd_context.cpp +++ b/src/cmd_context/cmd_context.cpp @@ -306,7 +306,7 @@ cmd_context::cmd_context(front_end_params * params, bool main_ctx, ast_manager * m_params_owner(params == 0), m_logic(l), m_interactive_mode(false), - m_global_decls(!this->params().m_smtlib2_compliant), // SMTLIB 2.0 uses scoped decls. + m_global_decls(false), // :global-decls is false by default. m_print_success(false), // params.m_smtlib2_compliant), m_random_seed(0), m_produce_unsat_cores(false), From c097b5620dddd87046dd81ec046846b2d243da8a Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 20 Nov 2012 08:46:48 -0800 Subject: [PATCH 3/4] fixed release notes Signed-off-by: Leonardo de Moura --- RELEASE_NOTES | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/RELEASE_NOTES b/RELEASE_NOTES index 845b11395..b88c74495 100644 --- a/RELEASE_NOTES +++ b/RELEASE_NOTES @@ -7,7 +7,7 @@ Version 4.3.2 - 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. Version 4.3.1 From b3e048782cf9fe00a725d2f2046cd80cf0d7e483 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 20 Nov 2012 08:48:19 -0800 Subject: [PATCH 4/4] Updated RELEASE_NOTES Signed-off-by: Leonardo de Moura --- RELEASE_NOTES | 2 ++ 1 file changed, 2 insertions(+) diff --git a/RELEASE_NOTES b/RELEASE_NOTES index b88c74495..87bba50f2 100644 --- a/RELEASE_NOTES +++ b/RELEASE_NOTES @@ -10,6 +10,8 @@ Version 4.3.2 - 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. +- Added `doc` directory and scripts for automatically generating the API documentation. + Version 4.3.1 =============