projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa6fb6f) | patch
Remove undocumented/uncommon aliases (#4177)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 2 Apr 2020 18:59:34 +0000 (11:59 -0700)
committerGitHub <noreply@github.com>
Thu, 2 Apr 2020 18:59:34 +0000 (13:59 -0500)
commite24e6f3620996ee9e5010d30fefc51247cc55fdc
treecb44e6cd092956a05ac00d4104d19bd0e1f36eb4tree
parentaa6fb6fa3df0b1519e6763e72541c022396ab1dccommit | diff
Remove undocumented/uncommon aliases (#4177)

This commit removes aliases that are either undocumented or associated
with uncommon options.

Note: The removal of --statistics, --language, and --output-language may be controversial. The options were undocumented previously and I am in favor of simplifying the options as much as possible, however. Please let me know what you think.
src/options/base_options.toml diff | blob | history
src/options/expr_options.toml diff | blob | history
src/options/main_options.toml diff | blob | history
src/options/parser_options.toml diff | blob | history
src/options/smt_options.toml diff | blob | history
test/unit/expr/expr_public.h diff | blob | history
test/unit/expr/node_black.h diff | blob | history