projects
/
cvc5.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
Changing bv_to_int options (#4721)
[cvc5.git]
/
src
/
preprocessing
/
passes
/
drwxr-xr-x
..
-rw-r--r--
11129
ackermann.cpp
blob
|
history
|
raw
-rw-r--r--
3203
ackermann.h
blob
|
history
|
raw
-rw-r--r--
2381
apply_substs.cpp
blob
|
history
|
raw
-rw-r--r--
1465
apply_substs.h
blob
|
history
|
raw
-rw-r--r--
12311
bool_to_bv.cpp
blob
|
history
|
raw
-rw-r--r--
4156
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--
22376
bv_gauss.cpp
blob
|
history
|
raw
-rw-r--r--
3378
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--
2314
bv_to_bool.h
blob
|
history
|
raw
-rw-r--r--
38626
bv_to_int.cpp
blob
|
history
|
raw
-rw-r--r--
9465
bv_to_int.h
blob
|
history
|
raw
-rw-r--r--
1391
extended_rewriter_pass.cpp
blob
|
history
|
raw
-rw-r--r--
1315
extended_rewriter_pass.h
blob
|
history
|
raw
-rw-r--r--
3218
global_negate.cpp
blob
|
history
|
raw
-rw-r--r--
1679
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--
7867
int_to_bv.cpp
blob
|
history
|
raw
-rw-r--r--
1371
int_to_bv.h
blob
|
history
|
raw
-rw-r--r--
1523
ite_removal.cpp
blob
|
history
|
raw
-rw-r--r--
1317
ite_removal.h
blob
|
history
|
raw
-rw-r--r--
8964
ite_simp.cpp
blob
|
history
|
raw
-rw-r--r--
1462
ite_simp.h
blob
|
history
|
raw
-rw-r--r--
21862
miplib_trick.cpp
blob
|
history
|
raw
-rw-r--r--
1753
miplib_trick.h
blob
|
history
|
raw
-rw-r--r--
3830
nl_ext_purify.cpp
blob
|
history
|
raw
-rw-r--r--
1676
nl_ext_purify.h
blob
|
history
|
raw
-rw-r--r--
16554
non_clausal_simp.cpp
blob
|
history
|
raw
-rw-r--r--
1462
non_clausal_simp.h
blob
|
history
|
raw
-rw-r--r--
10279
pseudo_boolean_processor.cpp
blob
|
history
|
raw
-rw-r--r--
3369
pseudo_boolean_processor.h
blob
|
history
|
raw
-rw-r--r--
20187
quantifier_macros.cpp
blob
|
history
|
raw
-rw-r--r--
3135
quantifier_macros.h
blob
|
history
|
raw
-rw-r--r--
1879
quantifiers_preprocess.cpp
blob
|
history
|
raw
-rw-r--r--
1457
quantifiers_preprocess.h
blob
|
history
|
raw
-rw-r--r--
7119
real_to_int.cpp
blob
|
history
|
raw
-rw-r--r--
1499
real_to_int.h
blob
|
history
|
raw
-rw-r--r--
1257
rewrite.cpp
blob
|
history
|
raw
-rw-r--r--
1244
rewrite.h
blob
|
history
|
raw
-rw-r--r--
3679
sep_skolem_emp.cpp
blob
|
history
|
raw
-rw-r--r--
1244
sep_skolem_emp.h
blob
|
history
|
raw
-rw-r--r--
2923
sort_infer.cpp
blob
|
history
|
raw
-rw-r--r--
1501
sort_infer.h
blob
|
history
|
raw
-rw-r--r--
1586
static_learning.cpp
blob
|
history
|
raw
-rw-r--r--
1251
static_learning.h
blob
|
history
|
raw
-rw-r--r--
10854
sygus_inference.cpp
blob
|
history
|
raw
-rw-r--r--
2514
sygus_inference.h
blob
|
history
|
raw
-rw-r--r--
18073
synth_rew_rules.cpp
blob
|
history
|
raw
-rw-r--r--
3211
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--
27117
unconstrained_simplifier.cpp
blob
|
history
|
raw
-rw-r--r--
2524
unconstrained_simplifier.h
blob
|
history
|
raw