mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-23 09:05:31 +00:00
Code Activity

remove simplify dependencies

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2017-08-26 00:57:44 -07:00
parent 881f90d17d
commit 5371315f4c
3 changed files with 2 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/muz/spacer/spacer_legacy_mev.cpp
View file

@ -5,11 +5,8 @@ Copyright (c) 2017 Arie Gurfinkel
*/
#include <sstream>
#include "ast/simplifier/arith_simplifier_plugin.h"
#include "ast/array_decl_plugin.h"
#include "ast/ast_pp.h"
#include "ast/simplifier/basic_simplifier_plugin.h"
#include "ast/simplifier/bv_simplifier_plugin.h"
#include "ast/rewriter/bool_rewriter.h"
#include "muz/base/dl_util.h"
#include "ast/for_each_expr.h"

1
src/muz/spacer/spacer_legacy_mev.h
View file

@ -10,7 +10,6 @@ Copyright (c) 2017 Arie Gurfinkel
#include "ast/ast_pp.h"
#include "util/obj_hashtable.h"
#include "util/ref_vector.h"
#include "ast/simplifier/simplifier.h"
#include "util/trace.h"
#include "util/vector.h"
#include "ast/arith_decl_plugin.h"

3
src/muz/spacer/spacer_util.h
View file

@ -26,12 +26,13 @@ Revision History:
#include "ast/ast_pp.h"
#include "util/obj_hashtable.h"
#include "util/ref_vector.h"
#include "ast/simplifier/simplifier.h"
#include "util/trace.h"
#include "util/vector.h"
#include "ast/arith_decl_plugin.h"
#include "ast/array_decl_plugin.h"
#include "ast/bv_decl_plugin.h"
#include "ast/ast_util.h"
#include "ast/expr_map.h"
#include "model/model.h"
#include "util/stopwatch.h"