projects
/
cvc5.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
Changing getTearDownIncremental() to return the type of options::tearDownIncremental.
[cvc5.git]
/
src
/
options
/
drwxr-xr-x
..
-rw-r--r--
71
Makefile
blob
|
history
|
raw
-rw-r--r--
12344
Makefile.am
blob
|
history
|
raw
-rw-r--r--
2690
argument_extender.h
blob
|
history
|
raw
-rw-r--r--
3208
argument_extender_implementation.cpp
blob
|
history
|
raw
-rw-r--r--
3473
argument_extender_implementation.h
blob
|
history
|
raw
-rw-r--r--
1095
arith_heuristic_pivot_rule.cpp
blob
|
history
|
raw
-rw-r--r--
1107
arith_heuristic_pivot_rule.h
blob
|
history
|
raw
-rw-r--r--
8278
arith_options
blob
|
history
|
raw
-rw-r--r--
1139
arith_propagation_mode.cpp
blob
|
history
|
raw
-rw-r--r--
1094
arith_propagation_mode.h
blob
|
history
|
raw
-rw-r--r--
1219
arith_unate_lemma_mode.cpp
blob
|
history
|
raw
-rw-r--r--
1141
arith_unate_lemma_mode.h
blob
|
history
|
raw
-rw-r--r--
1462
arrays_options
blob
|
history
|
raw
-rw-r--r--
3030
base_handlers.h
blob
|
history
|
raw
-rw-r--r--
10614
base_options
blob
|
history
|
raw
-rw-r--r--
873
base_options_template.cpp
blob
|
history
|
raw
-rw-r--r--
1203
base_options_template.h
blob
|
history
|
raw
-rw-r--r--
1314
boolean_term_conversion_mode.cpp
blob
|
history
|
raw
-rw-r--r--
1606
boolean_term_conversion_mode.h
blob
|
history
|
raw
-rw-r--r--
529
booleans_options
blob
|
history
|
raw
-rw-r--r--
180
builtin_options
blob
|
history
|
raw
-rw-r--r--
1903
bv_bitblast_mode.cpp
blob
|
history
|
raw
-rw-r--r--
1933
bv_bitblast_mode.h
blob
|
history
|
raw
-rw-r--r--
4127
bv_options
blob
|
history
|
raw
-rw-r--r--
1650
datatypes_options
blob
|
history
|
raw
-rw-r--r--
1135
decision_mode.cpp
blob
|
history
|
raw
-rw-r--r--
1632
decision_mode.h
blob
|
history
|
raw
-rw-r--r--
1350
decision_options
blob
|
history
|
raw
-rw-r--r--
886
decision_weight.h
blob
|
history
|
raw
-rw-r--r--
4454
didyoumean.cpp
blob
|
history
|
raw
-rw-r--r--
1480
didyoumean.h
blob
|
history
|
raw
-rw-r--r--
20938
didyoumean_test.cpp
blob
|
history
|
raw
-rw-r--r--
1630
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--
5223
language.cpp
blob
|
history
|
raw
-rw-r--r--
5399
language.h
blob
|
history
|
raw
-rw-r--r--
1943
language.i
blob
|
history
|
raw
-rw-r--r--
2790
main_options
blob
|
history
|
raw
-rwxr-xr-x
53815
mkoptions
blob
|
history
|
raw
-rw-r--r--
2943
open_ostream.cpp
blob
|
history
|
raw
-rw-r--r--
1987
open_ostream.h
blob
|
history
|
raw
-rw-r--r--
1792
option_exception.h
blob
|
history
|
raw
-rw-r--r--
83
option_exception.i
blob
|
history
|
raw
-rw-r--r--
18184
options.h
blob
|
history
|
raw
-rw-r--r--
249
options.i
blob
|
history
|
raw
-rw-r--r--
1519
options_get_option_template.cpp
blob
|
history
|
raw
-rw-r--r--
54538
options_handler.cpp
blob
|
history
|
raw
-rw-r--r--
11594
options_handler.h
blob
|
history
|
raw
-rw-r--r--
1096
options_holder_template.h
blob
|
history
|
raw
-rw-r--r--
7355
options_public_functions.cpp
blob
|
history
|
raw
-rw-r--r--
1601
options_set_option_template.cpp
blob
|
history
|
raw
-rw-r--r--
27747
options_template.cpp
blob
|
history
|
raw
-rw-r--r--
1635
parser_options
blob
|
history
|
raw
-rw-r--r--
1427
printer_modes.cpp
blob
|
history
|
raw
-rw-r--r--
1601
printer_modes.h
blob
|
history
|
raw
-rw-r--r--
636
printer_options
blob
|
history
|
raw
-rw-r--r--
712
proof_options
blob
|
history
|
raw
-rw-r--r--
1438
prop_options
blob
|
history
|
raw
-rw-r--r--
2412
quantifiers_modes.cpp
blob
|
history
|
raw
-rw-r--r--
6355
quantifiers_modes.h
blob
|
history
|
raw
-rw-r--r--
21815
quantifiers_options
blob
|
history
|
raw
-rw-r--r--
772
sep_options
blob
|
history
|
raw
-rw-r--r--
2456
set_language.cpp
blob
|
history
|
raw
-rw-r--r--
2716
set_language.h
blob
|
history
|
raw
-rw-r--r--
377
sets_options
blob
|
history
|
raw
-rw-r--r--
1113
simplification_mode.cpp
blob
|
history
|
raw
-rw-r--r--
1217
simplification_mode.h
blob
|
history
|
raw
-rw-r--r--
9267
smt_options
blob
|
history
|
raw
-rw-r--r--
3866
strings_options
blob
|
history
|
raw
-rw-r--r--
665
theory_options
blob
|
history
|
raw
-rw-r--r--
1100
theoryof_mode.cpp
blob
|
history
|
raw
-rw-r--r--
1185
theoryof_mode.h
blob
|
history
|
raw
-rw-r--r--
2365
uf_options
blob
|
history
|
raw
-rw-r--r--
1169
ufss_mode.h
blob
|
history
|
raw