projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eed22b4) | patch
Replace smt_name by aliases (#6541)
authorGereon Kremer <nafur42@gmail.com>
Mon, 17 May 2021 17:08:51 +0000 (19:08 +0200)
committerGitHub <noreply@github.com>
Mon, 17 May 2021 17:08:51 +0000 (17:08 +0000)
commit01dd4f1aadcfc05f26f2ca00bd8afaa5c63ecb6c
treed2c77339fa57a227c12591ef25c14e634f73ac35tree
parenteed22b44b92d14be51f82e4871c926dee79eaf3acommit | diff
Replace smt_name by aliases (#6541)

This PR replaces the confusing co-existence of long and smt_name for options by long and a list of alias.
13 files changed:
src/options/arith_options.toml diff | blob | history
src/options/base_options.toml diff | blob | history
src/options/bv_options.toml diff | blob | history
src/options/datatypes_options.toml diff | blob | history
src/options/decision_options.toml diff | blob | history
src/options/expr_options.toml diff | blob | history
src/options/mkoptions.py diff | blob | history
src/options/parser_options.toml diff | blob | history
src/options/prop_options.toml diff | blob | history
src/options/resource_manager_options.toml diff | blob | history
src/options/smt_options.toml diff | blob | history
src/options/theory_options.toml diff | blob | history
src/options/uf_options.toml diff | blob | history