projects
/
cvc5.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
Merged bit-vector and uf proof branch.
[cvc5.git]
/
src
/
options
/
drwxr-xr-x
..
-rw-r--r--
71
Makefile
blob
|
history
|
raw
-rw-r--r--
13607
Makefile.am
blob
|
history
|
raw
-rw-r--r--
1047
arith_heuristic_pivot_rule.cpp
blob
|
history
|
raw
-rw-r--r--
1059
arith_heuristic_pivot_rule.h
blob
|
history
|
raw
-rw-r--r--
8296
arith_options
blob
|
history
|
raw
-rw-r--r--
1087
arith_propagation_mode.cpp
blob
|
history
|
raw
-rw-r--r--
1042
arith_propagation_mode.h
blob
|
history
|
raw
-rw-r--r--
1167
arith_unate_lemma_mode.cpp
blob
|
history
|
raw
-rw-r--r--
1089
arith_unate_lemma_mode.h
blob
|
history
|
raw
-rw-r--r--
1462
arrays_options
blob
|
history
|
raw
-rw-r--r--
2989
base_handlers.h
blob
|
history
|
raw
-rw-r--r--
6605
base_options
blob
|
history
|
raw
-rw-r--r--
821
base_options_template.cpp
blob
|
history
|
raw
-rw-r--r--
1151
base_options_template.h
blob
|
history
|
raw
-rw-r--r--
1262
boolean_term_conversion_mode.cpp
blob
|
history
|
raw
-rw-r--r--
1554
boolean_term_conversion_mode.h
blob
|
history
|
raw
-rw-r--r--
599
booleans_options
blob
|
history
|
raw
-rw-r--r--
180
builtin_options
blob
|
history
|
raw
-rw-r--r--
1471
bv_bitblast_mode.cpp
blob
|
history
|
raw
-rw-r--r--
1654
bv_bitblast_mode.h
blob
|
history
|
raw
-rw-r--r--
3606
bv_options
blob
|
history
|
raw
-rw-r--r--
1079
datatypes_options
blob
|
history
|
raw
-rw-r--r--
1083
decision_mode.cpp
blob
|
history
|
raw
-rw-r--r--
1574
decision_mode.h
blob
|
history
|
raw
-rw-r--r--
1490
decision_options
blob
|
history
|
raw
-rw-r--r--
828
decision_weight.h
blob
|
history
|
raw
-rw-r--r--
4140
didyoumean.cpp
blob
|
history
|
raw
-rw-r--r--
1399
didyoumean.h
blob
|
history
|
raw
-rw-r--r--
20871
didyoumean_test.cpp
blob
|
history
|
raw
-rw-r--r--
1711
expr_options
blob
|
history
|
raw
-rw-r--r--
158
fp_options
blob
|
history
|
raw
-rw-r--r--
454
idl_options
blob
|
history
|
raw
-rw-r--r--
5181
language.cpp
blob
|
history
|
raw
-rw-r--r--
5351
language.h
blob
|
history
|
raw
-rw-r--r--
1943
language.i
blob
|
history
|
raw
-rw-r--r--
733
logic_info_forward.h
blob
|
history
|
raw
-rw-r--r--
2986
main_options
blob
|
history
|
raw
-rwxr-xr-x
53522
mkoptions
blob
|
history
|
raw
-rwxr-xr-x
482
mktagheaders
blob
|
history
|
raw
-rwxr-xr-x
1313
mktags
blob
|
history
|
raw
-rw-r--r--
1740
option_exception.h
blob
|
history
|
raw
-rw-r--r--
83
option_exception.i
blob
|
history
|
raw
-rw-r--r--
5038
options.h
blob
|
history
|
raw
-rw-r--r--
249
options.i
blob
|
history
|
raw
-rw-r--r--
1522
options_handler_get_option_template.cpp
blob
|
history
|
raw
-rw-r--r--
17195
options_handler_interface.cpp
blob
|
history
|
raw
-rw-r--r--
16776
options_handler_interface.h
blob
|
history
|
raw
-rw-r--r--
101
options_handler_interface.i
blob
|
history
|
raw
-rw-r--r--
1605
options_handler_set_option_template.cpp
blob
|
history
|
raw
-rw-r--r--
1044
options_holder_template.h
blob
|
history
|
raw
-rw-r--r--
22255
options_template.cpp
blob
|
history
|
raw
-rw-r--r--
1599
parser_options
blob
|
history
|
raw
-rw-r--r--
1369
printer_modes.cpp
blob
|
history
|
raw
-rw-r--r--
1535
printer_modes.h
blob
|
history
|
raw
-rw-r--r--
776
printer_options
blob
|
history
|
raw
-rw-r--r--
167
proof_options
blob
|
history
|
raw
-rw-r--r--
1480
prop_options
blob
|
history
|
raw
-rw-r--r--
2266
quantifiers_modes.cpp
blob
|
history
|
raw
-rw-r--r--
4822
quantifiers_modes.h
blob
|
history
|
raw
-rw-r--r--
19100
quantifiers_options
blob
|
history
|
raw
-rw-r--r--
2440
set_language.cpp
blob
|
history
|
raw
-rw-r--r--
2702
set_language.h
blob
|
history
|
raw
-rw-r--r--
595
sets_options
blob
|
history
|
raw
-rw-r--r--
1061
simplification_mode.cpp
blob
|
history
|
raw
-rw-r--r--
1165
simplification_mode.h
blob
|
history
|
raw
-rw-r--r--
9959
smt_options
blob
|
history
|
raw
-rw-r--r--
2664
strings_options
blob
|
history
|
raw
-rw-r--r--
776
theory_options
blob
|
history
|
raw
-rw-r--r--
468
theoryof_mode.cpp
blob
|
history
|
raw
-rw-r--r--
1127
theoryof_mode.h
blob
|
history
|
raw
-rw-r--r--
2460
uf_options
blob
|
history
|
raw
-rw-r--r--
1130
ufss_mode.h
blob
|
history
|
raw