git.libre-soc.org Git - cvc5.git/commit

author	Gereon Kremer <nafur42@gmail.com>
	Mon, 26 Jul 2021 23:42:20 +0000 (16:42 -0700)
committer	GitHub <noreply@github.com>
	Mon, 26 Jul 2021 23:42:20 +0000 (23:42 +0000)
commit	1c93d0ca2cdab222dc122ad3a5c9b4bc28e2ef9c
tree	339b277f75e4755ddb1421ceaf6446e87adf87a8	tree
parent	9a098337f9f25e7e2df07e493e6a120f6b8ce520	commit \| diff

Move public options functions to separate file (#6671)

This PR moves the remaining special purpose functions out of the Options class. This set of functions is only used to implement API functions in the smt engine (getting and setting options by string), and by the main driver for parsing and printing usage information.

13 files changed:

.style.yapf	[new file with mode: 0644]	blob
src/main/driver_unified.cpp		diff \| blob \| history
src/options/CMakeLists.txt		diff \| blob \| history
src/options/base_options.toml		diff \| blob \| history
src/options/mkoptions.py		diff \| blob \| history
src/options/options_handler.cpp		diff \| blob \| history
src/options/options_public.cpp	[deleted file]	blob \| history
src/options/options_public.h		diff \| blob \| history
src/options/options_public_template.cpp	[new file with mode: 0644]	blob
src/options/options_template.cpp		diff \| blob \| history
src/options/options_template.h		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
test/unit/node/node_black.cpp		diff \| blob \| history

RSS Atom