projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ae7084b) | patch
Finish refactoring on option handlers (#7295)
authorGereon Kremer <nafur42@gmail.com>
Tue, 5 Oct 2021 00:16:18 +0000 (17:16 -0700)
committerGitHub <noreply@github.com>
Tue, 5 Oct 2021 00:16:18 +0000 (00:16 +0000)
commit13f5ecf0f7d683c67ab9b6e0cd66777af1b0531b
treea31add13d44417be3d0e33af9fd8cbfd0faf208atree
parentae7084ba7a16c7651d8a7b9237c903420058323ecommit | diff
Finish refactoring on option handlers (#7295)

This PR finishes refactoring on the option handlers.
src/options/options_handler.cpp diff | blob | history
src/options/options_handler.h diff | blob | history
src/options/smt_options.toml diff | blob | history
src/smt/dump.cpp diff | blob | history
test/regress/regress1/fmf/forall_unit_data.smt2 diff | blob | history