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

author	Andrew Reynolds <andrew.j.reynolds@gmail.com>
	Fri, 25 Mar 2022 01:56:48 +0000 (20:56 -0500)
committer	GitHub <noreply@github.com>
	Fri, 25 Mar 2022 01:56:48 +0000 (01:56 +0000)
commit	59e78c5cab0da7973c76c67818dac6154f5ff1b0
tree	f8024d7a5814bfa3c9eb73035265b4b0ea583041	tree
parent	0eef91d02baa6bca4b4d6b8a456e1e3403e35639	commit \| diff

Recategorize options (#8386)

22 files changed:

src/options/arith_options.toml		diff \| blob \| history
src/options/arrays_options.toml		diff \| blob \| history
src/options/base_options.toml		diff \| blob \| history
src/options/bv_options.toml		diff \| blob \| history
src/options/datatypes_options.toml		diff \| blob \| history
src/options/expr_options.toml		diff \| blob \| history
src/options/fp_options.toml		diff \| blob \| history
src/options/main_options.toml		diff \| blob \| history
src/options/parser_options.toml		diff \| blob \| history
src/options/printer_options.toml		diff \| blob \| history
src/options/proof_options.toml		diff \| blob \| history
src/options/prop_options.toml		diff \| blob \| history
src/options/quantifiers_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
test/regress/cli/regress0/options/set-after-init.smt2		diff \| blob \| history
test/regress/cli/regress0/quantifiers/issue4086-infs.smt2		diff \| blob \| history
test/regress/cli/regress1/quantifiers/lra-vts-inf.smt2		diff \| blob \| history