projects
/
cvc5.git
/ tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
| tree
history
|
HEAD
Fix several spelling errors (#2231)
[cvc5.git]
/
src
/
options
/
drwxr-xr-x
..
-rw-r--r--
71
Makefile
blob
|
history
|
raw
-rw-r--r--
4067
Makefile.am
blob
|
history
|
raw
-rw-r--r--
9394
README
blob
|
history
|
raw
-rw-r--r--
2701
argument_extender.h
blob
|
history
|
raw
-rw-r--r--
3209
argument_extender_implementation.cpp
blob
|
history
|
raw
-rw-r--r--
3564
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--
15422
arith_options.toml
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--
1131
arith_unate_lemma_mode.h
blob
|
history
|
raw
-rw-r--r--
2178
arrays_options.toml
blob
|
history
|
raw
-rw-r--r--
2886
base_handlers.h
blob
|
history
|
raw
-rw-r--r--
5203
base_options.toml
blob
|
history
|
raw
-rw-r--r--
84
booleans_options.toml
blob
|
history
|
raw
-rw-r--r--
82
builtin_options.toml
blob
|
history
|
raw
-rw-r--r--
1903
bv_bitblast_mode.cpp
blob
|
history
|
raw
-rw-r--r--
1972
bv_bitblast_mode.h
blob
|
history
|
raw
-rw-r--r--
6376
bv_options.toml
blob
|
history
|
raw
-rw-r--r--
1287
datatypes_modes.h
blob
|
history
|
raw
-rw-r--r--
5442
datatypes_options.toml
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--
1806
decision_options.toml
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--
21528
didyoumean_test.cpp
blob
|
history
|
raw
-rw-r--r--
2061
expr_options.toml
blob
|
history
|
raw
-rw-r--r--
60
fp_options.toml
blob
|
history
|
raw
-rwxr-xr-x
99
generate-toml-files.sh
blob
|
history
|
raw
-rw-r--r--
318
idl_options.toml
blob
|
history
|
raw
-rw-r--r--
7304
language.cpp
blob
|
history
|
raw
-rw-r--r--
6799
language.h
blob
|
history
|
raw
-rw-r--r--
2247
language.i
blob
|
history
|
raw
-rw-r--r--
5274
main_options.toml
blob
|
history
|
raw
-rwxr-xr-x
52521
mkoptions.py
blob
|
history
|
raw
-rw-r--r--
860
module_template.cpp
blob
|
history
|
raw
-rw-r--r--
1075
module_template.h
blob
|
history
|
raw
-rw-r--r--
2916
open_ostream.cpp
blob
|
history
|
raw
-rw-r--r--
1960
open_ostream.h
blob
|
history
|
raw
-rw-r--r--
1790
option_exception.h
blob
|
history
|
raw
-rw-r--r--
83
option_exception.i
blob
|
history
|
raw
-rw-r--r--
18274
options.h
blob
|
history
|
raw
-rw-r--r--
249
options.i
blob
|
history
|
raw
-rw-r--r--
58901
options_handler.cpp
blob
|
history
|
raw
-rw-r--r--
11734
options_handler.h
blob
|
history
|
raw
-rw-r--r--
1029
options_holder_template.h
blob
|
history
|
raw
-rw-r--r--
7183
options_public_functions.cpp
blob
|
history
|
raw
-rw-r--r--
28189
options_template.cpp
blob
|
history
|
raw
-rw-r--r--
2202
parser_options.toml
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--
750
printer_options.toml
blob
|
history
|
raw
-rw-r--r--
1070
proof_options.toml
blob
|
history
|
raw
-rw-r--r--
2381
prop_options.toml
blob
|
history
|
raw
-rw-r--r--
2412
quantifiers_modes.cpp
blob
|
history
|
raw
-rw-r--r--
9238
quantifiers_modes.h
blob
|
history
|
raw
-rw-r--r--
48605
quantifiers_options.toml
blob
|
history
|
raw
-rw-r--r--
1406
sep_options.toml
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--
983
sets_options.toml
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--
10674
smt_options
blob
|
history
|
raw
-rw-r--r--
18309
smt_options.toml
blob
|
history
|
raw
-rw-r--r--
5567
strings_options.toml
blob
|
history
|
raw
-rw-r--r--
1129
sygus_out_mode.h
blob
|
history
|
raw
-rw-r--r--
1341
theory_options.toml
blob
|
history
|
raw
-rw-r--r--
1055
theoryof_mode.cpp
blob
|
history
|
raw
-rw-r--r--
1177
theoryof_mode.h
blob
|
history
|
raw
-rw-r--r--
3374
uf_options.toml
blob
|
history
|
raw
-rw-r--r--
1169
ufss_mode.h
blob
|
history
|
raw