mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-10-24 16:34:36 +00:00
Code Activity
z3/src/ast/simplifier
History
Leonardo de Moura c1587dc37d fixed some warnings reported by clang++ 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
2012-11-02 17:28:27 -07:00
..
arith_simplifier_plugin.cpp reorganizing the code 2012-10-23 22:14:35 -07:00
arith_simplifier_plugin.h reorganizing the code 2012-10-23 22:14:35 -07:00
array_simplifier_plugin.cpp reorganizing the code 2012-10-23 22:14:35 -07:00
array_simplifier_plugin.h reorganizing the code 2012-10-23 22:14:35 -07:00
base_simplifier.h reorganizing the code 2012-10-23 22:14:35 -07:00
basic_simplifier_plugin.cpp reorganizing the code 2012-10-23 22:14:35 -07:00
basic_simplifier_plugin.h reorganizing the code 2012-10-23 22:14:35 -07:00
bit2int.cpp reorganizing the code 2012-10-23 22:14:35 -07:00
bit2int.h reorganizing the code 2012-10-23 22:14:35 -07:00
bv_elim.cpp reorganizing the code 2012-10-23 22:14:35 -07:00
bv_elim.h reorganizing the code 2012-10-23 22:14:35 -07:00
bv_simplifier_plugin.cpp reorganizing the code 2012-10-23 22:14:35 -07:00
bv_simplifier_plugin.h reorganizing the code 2012-10-23 22:14:35 -07:00
datatype_simplifier_plugin.cpp reorganizing the code 2012-10-23 22:14:35 -07:00
datatype_simplifier_plugin.h reorganizing the code 2012-10-23 22:14:35 -07:00
distribute_forall.cpp reorganizing the code 2012-10-23 22:14:35 -07:00
distribute_forall.h reorganizing the code 2012-10-23 22:14:35 -07:00
elim_bounds.cpp reorganizing the code 2012-10-23 22:14:35 -07:00
elim_bounds.h reorganizing the code 2012-10-23 22:14:35 -07:00
inj_axiom.cpp reorganizing the code 2012-10-23 22:14:35 -07:00
inj_axiom.h reorganizing the code 2012-10-23 22:14:35 -07:00
maximise_ac_sharing.cpp reorganizing the code 2012-10-23 22:14:35 -07:00
maximise_ac_sharing.h reorganizing the code 2012-10-23 22:14:35 -07:00
poly_simplifier_plugin.cpp reorganizing the code 2012-10-23 22:14:35 -07:00
poly_simplifier_plugin.h fixed some warnings reported by clang++ 2012-11-02 17:28:27 -07:00
pull_ite_tree.cpp reorganizing the code 2012-10-23 22:14:35 -07:00
pull_ite_tree.h reorganizing the code 2012-10-23 22:14:35 -07:00
push_app_ite.cpp reorganizing the code 2012-10-23 22:14:35 -07:00
push_app_ite.h reorganizing the code 2012-10-23 22:14:35 -07:00
README reorganizing the code 2012-10-23 22:14:35 -07:00
simplifier.cpp reorganizing the code 2012-10-23 22:14:35 -07:00
simplifier.h reorganizing the code 2012-10-23 22:14:35 -07:00
simplifier_plugin.cpp reorganizing the code 2012-10-23 22:14:35 -07:00
simplifier_plugin.h reorganizing the code 2012-10-23 22:14:35 -07:00

README 

Simplifier module is now obsolete.
It is still being used in many places, but we will eventually replace all occurrences with the new rewriter module.