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

author	Gereon Kremer <nafur42@gmail.com>
	Wed, 19 May 2021 05:55:53 +0000 (07:55 +0200)
committer	GitHub <noreply@github.com>
	Wed, 19 May 2021 05:55:53 +0000 (05:55 +0000)
commit	6dc5b7469cee015a3bcf25a1543123da6c8317fe
tree	780a12ceb8a7c6ba063277e0297ae080e51cf306	tree
parent	4e6e168a5eb578df2bfd12becf7732cbdd23bc3a	commit \| diff

Generate command line options for sphinx docs (#6555)

This PR adds documentation about the command line options to the sphinx documentation. It is mostly a reformatted version of what --help would print.

25 files changed:

docs/CMakeLists.txt		diff \| blob \| history
docs/_static/custom.css		diff \| blob \| history
docs/conf.py.in		diff \| blob \| history
docs/ext/include_build_file.py	[new file with mode: 0644]	blob
docs/index.rst		diff \| blob \| history
docs/options.rst	[new file with mode: 0644]	blob
src/options/CMakeLists.txt		diff \| blob \| history
src/options/arith_options.toml		diff \| blob \| history
src/options/arrays_options.toml		diff \| blob \| history
src/options/booleans_options.toml		diff \| blob \| history
src/options/builtin_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/fp_options.toml		diff \| blob \| history
src/options/mkoptions.py		diff \| blob \| history
src/options/prop_options.toml		diff \| blob \| history
src/options/resource_manager_options.toml		diff \| blob \| history
src/options/sep_options.toml		diff \| blob \| history
src/options/sets_options.toml		diff \| blob \| history
src/options/smt_options.toml		diff \| blob \| history
src/options/strings_options.toml		diff \| blob \| history
src/options/theory_options.toml		diff \| blob \| history
src/options/uf_options.toml		diff \| blob \| history

RSS Atom