projects
/
cvc5.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
Do not apply unconstrained simplification when quantifiers are present (#4532)
[cvc5.git]
/
src
/
preprocessing
/
passes
/
drwxr-xr-x
..
-rw-r--r--
11144
ackermann.cpp
blob
|
history
|
raw
-rw-r--r--
3191
ackermann.h
blob
|
history
|
raw
-rw-r--r--
2364
apply_substs.cpp
blob
|
history
|
raw
-rw-r--r--
1448
apply_substs.h
blob
|
history
|
raw
-rw-r--r--
12311
bool_to_bv.cpp
blob
|
history
|
raw
-rw-r--r--
4155
bool_to_bv.h
blob
|
history
|
raw
-rw-r--r--
2409
bv_abstraction.cpp
blob
|
history
|
raw
-rw-r--r--
1679
bv_abstraction.h
blob
|
history
|
raw
-rw-r--r--
1637
bv_eager_atoms.cpp
blob
|
history
|
raw
-rw-r--r--
1377
bv_eager_atoms.h
blob
|
history
|
raw
-rw-r--r--
22353
bv_gauss.cpp
blob
|
history
|
raw
-rw-r--r--
3345
bv_gauss.h
blob
|
history
|
raw
-rw-r--r--
2930
bv_intro_pow2.cpp
blob
|
history
|
raw
-rw-r--r--
1421
bv_intro_pow2.h
blob
|
history
|
raw
-rw-r--r--
9056
bv_to_bool.cpp
blob
|
history
|
raw
-rw-r--r--
2307
bv_to_bool.h
blob
|
history
|
raw
-rw-r--r--
38639
bv_to_int.cpp
blob
|
history
|
raw
-rw-r--r--
9481
bv_to_int.h
blob
|
history
|
raw
-rw-r--r--
1391
extended_rewriter_pass.cpp
blob
|
history
|
raw
-rw-r--r--
1298
extended_rewriter_pass.h
blob
|
history
|
raw
-rw-r--r--
3218
global_negate.cpp
blob
|
history
|
raw
-rw-r--r--
1662
global_negate.h
blob
|
history
|
raw
-rw-r--r--
17372
ho_elim.cpp
blob
|
history
|
raw
-rw-r--r--
5829
ho_elim.h
blob
|
history
|
raw
-rw-r--r--
10207
int_to_bv.cpp
blob
|
history
|
raw
-rw-r--r--
1354
int_to_bv.h
blob
|
history
|
raw
-rw-r--r--
1506
ite_removal.cpp
blob
|
history
|
raw
-rw-r--r--
1300
ite_removal.h
blob
|
history
|
raw
-rw-r--r--
8964
ite_simp.cpp
blob
|
history
|
raw
-rw-r--r--
1445
ite_simp.h
blob
|
history
|
raw
-rw-r--r--
21863
miplib_trick.cpp
blob
|
history
|
raw
-rw-r--r--
1753
miplib_trick.h
blob
|
history
|
raw
-rw-r--r--
3813
nl_ext_purify.cpp
blob
|
history
|
raw
-rw-r--r--
1659
nl_ext_purify.h
blob
|
history
|
raw
-rw-r--r--
16547
non_clausal_simp.cpp
blob
|
history
|
raw
-rw-r--r--
1445
non_clausal_simp.h
blob
|
history
|
raw
-rw-r--r--
10279
pseudo_boolean_processor.cpp
blob
|
history
|
raw
-rw-r--r--
3352
pseudo_boolean_processor.h
blob
|
history
|
raw
-rw-r--r--
20185
quantifier_macros.cpp
blob
|
history
|
raw
-rw-r--r--
3118
quantifier_macros.h
blob
|
history
|
raw
-rw-r--r--
1879
quantifiers_preprocess.cpp
blob
|
history
|
raw
-rw-r--r--
1440
quantifiers_preprocess.h
blob
|
history
|
raw
-rw-r--r--
7092
real_to_int.cpp
blob
|
history
|
raw
-rw-r--r--
1482
real_to_int.h
blob
|
history
|
raw
-rw-r--r--
1257
rewrite.cpp
blob
|
history
|
raw
-rw-r--r--
1227
rewrite.h
blob
|
history
|
raw
-rw-r--r--
3679
sep_skolem_emp.cpp
blob
|
history
|
raw
-rw-r--r--
1227
sep_skolem_emp.h
blob
|
history
|
raw
-rw-r--r--
2923
sort_infer.cpp
blob
|
history
|
raw
-rw-r--r--
1484
sort_infer.h
blob
|
history
|
raw
-rw-r--r--
1597
static_learning.cpp
blob
|
history
|
raw
-rw-r--r--
1234
static_learning.h
blob
|
history
|
raw
-rw-r--r--
10781
sygus_inference.cpp
blob
|
history
|
raw
-rw-r--r--
2497
sygus_inference.h
blob
|
history
|
raw
-rw-r--r--
18056
synth_rew_rules.cpp
blob
|
history
|
raw
-rw-r--r--
3194
synth_rew_rules.h
blob
|
history
|
raw
-rw-r--r--
1609
theory_preprocess.cpp
blob
|
history
|
raw
-rw-r--r--
1321
theory_preprocess.h
blob
|
history
|
raw
-rw-r--r--
26716
unconstrained_simplifier.cpp
blob
|
history
|
raw
-rw-r--r--
2507
unconstrained_simplifier.h
blob
|
history
|
raw