| .. |
|
arith_simplifier_params.cpp
|
updated include directives
|
2017-08-01 10:51:47 -07:00 |
|
arith_simplifier_params.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
arith_simplifier_params_helper.pyg
|
added module descriptions
|
2012-12-02 13:15:56 -08:00 |
|
arith_simplifier_plugin.cpp
|
add pre-processing simplificaiton of power to the legacy simplifier Fixes #1237
|
2017-08-28 00:05:53 -07:00 |
|
arith_simplifier_plugin.h
|
add pre-processing simplificaiton of power to the legacy simplifier Fixes #1237
|
2017-08-28 00:05:53 -07:00 |
|
array_simplifier_params.cpp
|
updated include directives
|
2017-08-01 10:51:47 -07:00 |
|
array_simplifier_params.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
array_simplifier_params_helper.pyg
|
exposed old simplifier parameters
|
2012-12-02 12:10:06 -08:00 |
|
array_simplifier_plugin.cpp
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
array_simplifier_plugin.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
base_simplifier.h
|
prune dead states from automata
|
2017-08-31 07:33:55 -07:00 |
|
basic_simplifier_plugin.cpp
|
enable overloading resolution on define-fun declarations, fix #1199
|
2017-08-08 09:21:06 +02:00 |
|
basic_simplifier_plugin.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
bit2int.cpp
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
bit2int.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
bv_elim.cpp
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
bv_elim.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
bv_simplifier_params.cpp
|
updated include directives
|
2017-08-01 10:51:47 -07:00 |
|
bv_simplifier_params.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
bv_simplifier_params_helper.pyg
|
Remove old_simplify.bv.hi_div0 option, reconciling it with rewriter.bv.hi_div0. To address issue #237
|
2015-10-28 12:53:53 -07:00 |
|
bv_simplifier_plugin.cpp
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
bv_simplifier_plugin.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
CMakeLists.txt
|
[CMake] Move CMake files into their intended location so the
|
2017-06-12 11:59:00 +01:00 |
|
datatype_simplifier_plugin.cpp
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
datatype_simplifier_plugin.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
elim_bounds.cpp
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
elim_bounds.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
fpa_simplifier_plugin.cpp
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
fpa_simplifier_plugin.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
inj_axiom.cpp
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
inj_axiom.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
maximise_ac_sharing.cpp
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
maximise_ac_sharing.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
poly_simplifier_plugin.cpp
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
poly_simplifier_plugin.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
pull_ite_tree.cpp
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
pull_ite_tree.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
push_app_ite.cpp
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
push_app_ite.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
README
|
reorganizing the code
|
2012-10-23 22:14:35 -07:00 |
|
seq_simplifier_plugin.cpp
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
seq_simplifier_plugin.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
simplifier.cpp
|
prune dead states from automata
|
2017-08-31 07:33:55 -07:00 |
|
simplifier.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
simplifier_plugin.cpp
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
|
simplifier_plugin.h
|
make include paths uniformly use path relative to src. #534
|
2017-07-31 13:24:11 -07:00 |
