projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a698b52) | patch
Handle languages as strings in driver (#7074)
authorGereon Kremer <nafur42@gmail.com>
Fri, 27 Aug 2021 18:23:15 +0000 (11:23 -0700)
committerGitHub <noreply@github.com>
Fri, 27 Aug 2021 18:23:15 +0000 (18:23 +0000)
commit3183ca6685f6b0dcca538efb72e6840a56479b60
treee6c51d6175d4a56c7849aa4f965ed49b743f0607tree
parenta698b522d619c800a3401c7294cf1c6c663d7acccommit | diff
Handle languages as strings in driver (#7074)

This PR moves the first chunk of code in the driver to use the proper options API for the language options. It is now handled as a string.
18 files changed:
src/main/driver_unified.cpp diff | blob | history
src/main/interactive_shell.cpp diff | blob | history
src/main/interactive_shell.h diff | blob | history
src/options/base_options.toml diff | blob | history
src/options/options_handler.cpp diff | blob | history
src/options/options_handler.h diff | blob | history
src/parser/antlr_input.cpp diff | blob | history
src/parser/antlr_input.h diff | blob | history
src/parser/input.cpp diff | blob | history
src/parser/input.h diff | blob | history
src/parser/parser_builder.cpp diff | blob | history
src/parser/parser_builder.h diff | blob | history
src/parser/smt2/smt2.cpp diff | blob | history
src/parser/smt2/smt2.h diff | blob | history
test/api/ouroborous.cpp diff | blob | history
test/api/smt2_compliance.cpp diff | blob | history
test/unit/parser/parser_black.cpp diff | blob | history
test/unit/parser/parser_builder_black.cpp diff | blob | history