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

author	Morgan Deters <mdeters@gmail.com>
	Fri, 14 Sep 2012 15:13:37 +0000 (15:13 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Fri, 14 Sep 2012 15:13:37 +0000 (15:13 +0000)
commit	080fc73c61ca11a539fd5239146a828e86b9e29a
tree	e85086eafa39013a06b04f7704a17e8a5d977b57	tree
parent	01dfa806851502267e1032483fec48e8b4373634	commit \| diff

Fix a few minor issues in options processing, improving usability, consistency, error-reporting, and documentation.

16 files changed:

Makefile.am		diff \| blob \| history
configure.ac		diff \| blob \| history
doc/cvc4.1_template.in		diff \| blob \| history
doc/libcvc4.3.in	[deleted file]	blob \| history
doc/libcvc4.3_template.in	[new file with mode: 0644]	blob
src/main/driver_unified.cpp		diff \| blob \| history
src/main/options		diff \| blob \| history
src/main/options_handlers.h		diff \| blob \| history
src/options/Makefile.am		diff \| blob \| history
src/options/base_options_handlers.h		diff \| blob \| history
src/options/mkoptions		diff \| blob \| history
src/options/options.h		diff \| blob \| history
src/options/options_template.cpp		diff \| blob \| history
src/printer/printer.cpp		diff \| blob \| history
src/prop/prop_engine.cpp		diff \| blob \| history
src/smt/options		diff \| blob \| history