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

author	Morgan Deters <mdeters@gmail.com>
	Sat, 6 Oct 2012 18:53:27 +0000 (18:53 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Sat, 6 Oct 2012 18:53:27 +0000 (18:53 +0000)
commit	4e883ffc0b88256a966183ac6b87bb5767154cdf
tree	a193f12035e4417834ef08312f50739ae0b39a87	tree
parent	99cad5495be99efae434177d1537d4cfac35581c	commit \| diff

* Clean up some options documentation
* Remove defunct --no-theory-registration option
* Point people to Wiki tutorial
* Modernize the cut-release script
* Misc cleanup, documentation

(this commit was certified error- and warning-free by the test-and-commit script.)

26 files changed:

INSTALL		diff \| blob \| history
NEWS		diff \| blob \| history
README		diff \| blob \| history
config/readline.m4		diff \| blob \| history
contrib/cut-release		diff \| blob \| history
doc/SmtEngine.3cvc_template.in		diff \| blob \| history
doc/options.3cvc_template.in		diff \| blob \| history
src/main/driver_unified.cpp		diff \| blob \| history
src/options/mkoptions		diff \| blob \| history
src/printer/Makefile.am		diff \| blob \| history
src/printer/model_format_mode.cpp	[new file with mode: 0644]	blob
src/printer/model_format_mode.h	[new file with mode: 0644]	blob
src/printer/options		diff \| blob \| history
src/printer/options_handlers.h	[new file with mode: 0644]	blob
src/prop/theory_proxy.cpp		diff \| blob \| history
src/prop/theory_proxy.h		diff \| blob \| history
src/smt/Makefile.am		diff \| blob \| history
src/smt/model_format_mode.cpp	[deleted file]	blob \| history
src/smt/model_format_mode.h	[deleted file]	blob \| history
src/smt/options		diff \| blob \| history
src/smt/options_handlers.h		diff \| blob \| history
src/theory/arith/options		diff \| blob \| history
src/theory/datatypes/options		diff \| blob \| history
src/theory/model.cpp		diff \| blob \| history
src/theory/options		diff \| blob \| history
src/theory/uf/options		diff \| blob \| history

RSS Atom