projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc0512b) | patch
Refactor resource manager options (#6446)
authorGereon Kremer <gkremer@stanford.edu>
Wed, 28 Apr 2021 19:50:23 +0000 (21:50 +0200)
committerGitHub <noreply@github.com>
Wed, 28 Apr 2021 19:50:23 +0000 (19:50 +0000)
commit541e19463a0a5dc44dc97a494ca295aae296091e
tree823a0959f997b44f7e96c3c320c213601fe19df9tree
parentfc0512b6d13349a91da5ac6617acebc41cbd238ccommit | diff
Refactor resource manager options (#6446)

This PR refactors how the resource manager options are used. It moves options relevant for the resource manager into its own file (making the number of smt options a bit smaller) and uses the Options object directly instead of using the old static accessors.
src/options/CMakeLists.txt diff | blob | history
src/options/options.h diff | blob | history
src/options/options_public_functions.cpp diff | blob | history
src/options/resource_manager_options.toml [new file with mode: 0644] blob
src/options/smt_options.toml diff | blob | history
src/smt/smt_engine.cpp diff | blob | history
src/util/resource_manager.cpp diff | blob | history
src/util/resource_manager.h diff | blob | history