projects
/
cvc5.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
Delete Expr layer. (#6117)
[cvc5.git]
/
src
/
preprocessing
/
passes
/
drwxr-xr-x
..
-rw-r--r--
11301
ackermann.cpp
blob
|
history
|
raw
-rw-r--r--
3212
ackermann.h
blob
|
history
|
raw
-rw-r--r--
2306
apply_substs.cpp
blob
|
history
|
raw
-rw-r--r--
1459
apply_substs.h
blob
|
history
|
raw
-rw-r--r--
12449
bool_to_bv.cpp
blob
|
history
|
raw
-rw-r--r--
4085
bool_to_bv.h
blob
|
history
|
raw
-rw-r--r--
2289
bv_abstraction.cpp
blob
|
history
|
raw
-rw-r--r--
1624
bv_abstraction.h
blob
|
history
|
raw
-rw-r--r--
1769
bv_eager_atoms.cpp
blob
|
history
|
raw
-rw-r--r--
1322
bv_eager_atoms.h
blob
|
history
|
raw
-rw-r--r--
22767
bv_gauss.cpp
blob
|
history
|
raw
-rw-r--r--
3346
bv_gauss.h
blob
|
history
|
raw
-rw-r--r--
3029
bv_intro_pow2.cpp
blob
|
history
|
raw
-rw-r--r--
1366
bv_intro_pow2.h
blob
|
history
|
raw
-rw-r--r--
9194
bv_to_bool.cpp
blob
|
history
|
raw
-rw-r--r--
2243
bv_to_bool.h
blob
|
history
|
raw
-rw-r--r--
36064
bv_to_int.cpp
blob
|
history
|
raw
-rw-r--r--
10314
bv_to_int.h
blob
|
history
|
raw
-rw-r--r--
1523
extended_rewriter_pass.cpp
blob
|
history
|
raw
-rw-r--r--
1260
extended_rewriter_pass.h
blob
|
history
|
raw
-rw-r--r--
4644
foreign_theory_rewrite.cpp
blob
|
history
|
raw
-rw-r--r--
2234
foreign_theory_rewrite.h
blob
|
history
|
raw
-rw-r--r--
15381
fun_def_fmf.cpp
blob
|
history
|
raw
-rw-r--r--
3776
fun_def_fmf.h
blob
|
history
|
raw
-rw-r--r--
3297
global_negate.cpp
blob
|
history
|
raw
-rw-r--r--
1683
global_negate.h
blob
|
history
|
raw
-rw-r--r--
17275
ho_elim.cpp
blob
|
history
|
raw
-rw-r--r--
5877
ho_elim.h
blob
|
history
|
raw
-rw-r--r--
7949
int_to_bv.cpp
blob
|
history
|
raw
-rw-r--r--
1316
int_to_bv.h
blob
|
history
|
raw
-rw-r--r--
2729
ite_removal.cpp
blob
|
history
|
raw
-rw-r--r--
1218
ite_removal.h
blob
|
history
|
raw
-rw-r--r--
9003
ite_simp.cpp
blob
|
history
|
raw
-rw-r--r--
1453
ite_simp.h
blob
|
history
|
raw
-rw-r--r--
22139
miplib_trick.cpp
blob
|
history
|
raw
-rw-r--r--
1737
miplib_trick.h
blob
|
history
|
raw
-rw-r--r--
3900
nl_ext_purify.cpp
blob
|
history
|
raw
-rw-r--r--
1621
nl_ext_purify.h
blob
|
history
|
raw
-rw-r--r--
17635
non_clausal_simp.cpp
blob
|
history
|
raw
-rw-r--r--
3161
non_clausal_simp.h
blob
|
history
|
raw
-rw-r--r--
10378
pseudo_boolean_processor.cpp
blob
|
history
|
raw
-rw-r--r--
3285
pseudo_boolean_processor.h
blob
|
history
|
raw
-rw-r--r--
20660
quantifier_macros.cpp
blob
|
history
|
raw
-rw-r--r--
3456
quantifier_macros.h
blob
|
history
|
raw
-rw-r--r--
2015
quantifiers_preprocess.cpp
blob
|
history
|
raw
-rw-r--r--
1402
quantifiers_preprocess.h
blob
|
history
|
raw
-rw-r--r--
7205
real_to_int.cpp
blob
|
history
|
raw
-rw-r--r--
1419
real_to_int.h
blob
|
history
|
raw
-rw-r--r--
1301
rewrite.cpp
blob
|
history
|
raw
-rw-r--r--
1189
rewrite.h
blob
|
history
|
raw
-rw-r--r--
3760
sep_skolem_emp.cpp
blob
|
history
|
raw
-rw-r--r--
1189
sep_skolem_emp.h
blob
|
history
|
raw
-rw-r--r--
3115
sort_infer.cpp
blob
|
history
|
raw
-rw-r--r--
1371
sort_infer.h
blob
|
history
|
raw
-rw-r--r--
1817
static_learning.cpp
blob
|
history
|
raw
-rw-r--r--
1196
static_learning.h
blob
|
history
|
raw
-rw-r--r--
1860
strings_eager_pp.cpp
blob
|
history
|
raw
-rw-r--r--
1305
strings_eager_pp.h
blob
|
history
|
raw
-rw-r--r--
10772
sygus_inference.cpp
blob
|
history
|
raw
-rw-r--r--
2432
sygus_inference.h
blob
|
history
|
raw
-rw-r--r--
17559
synth_rew_rules.cpp
blob
|
history
|
raw
-rw-r--r--
3156
synth_rew_rules.h
blob
|
history
|
raw
-rw-r--r--
2561
theory_preprocess.cpp
blob
|
history
|
raw
-rw-r--r--
1266
theory_preprocess.h
blob
|
history
|
raw
-rw-r--r--
3548
theory_rewrite_eq.cpp
blob
|
history
|
raw
-rw-r--r--
1875
theory_rewrite_eq.h
blob
|
history
|
raw
-rw-r--r--
27344
unconstrained_simplifier.cpp
blob
|
history
|
raw
-rw-r--r--
2396
unconstrained_simplifier.h
blob
|
history
|
raw