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

author	Morgan Deters <mdeters@gmail.com>
	Sat, 17 Nov 2012 04:05:17 +0000 (04:05 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Sat, 17 Nov 2012 04:05:17 +0000 (04:05 +0000)
commit	44498017455cce207bf9cb0a1ebbf67c4a4d77cf
tree	18f0bf80ea93cfd1f0e49cf38b7f0baf2d457285	tree
parent	db35c4be8bd37746e1c27e446291c82556df1d05	commit \| diff

* Fix for bug 445 agreed to in meeting 11/13/2012: always dump in ALL_SUPPORTED logic
* Java bindings fixes: fixed access to ostreams, iterators
* Make SmtEngine::setUserAttribute() (and others) take a const string&
* Also a few compliance fixes

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

26 files changed:

src/bindings/Makefile.am		diff \| blob \| history
src/bindings/java_iterator_adapter.h	[new file with mode: 0644]	blob
src/bindings/java_output_stream_adapter.h	[new file with mode: 0644]	blob
src/cvc4.i		diff \| blob \| history
src/expr/Makefile.am		diff \| blob \| history
src/expr/command.i		diff \| blob \| history
src/expr/expr_manager.i		diff \| blob \| history
src/expr/variable_type_map.i	[new file with mode: 0644]	blob
src/printer/cvc/cvc_printer.cpp		diff \| blob \| history
src/printer/smt2/smt2_printer.cpp		diff \| blob \| history
src/smt/smt_engine.cpp		diff \| blob \| history
src/smt/smt_engine.h		diff \| blob \| history
src/smt/smt_engine.i		diff \| blob \| history
src/theory/Makefile.am		diff \| blob \| history
src/theory/logic_info.cpp		diff \| blob \| history
src/theory/logic_info.i	[new file with mode: 0644]	blob
src/theory/theory.h		diff \| blob \| history
src/theory/theory_engine.cpp		diff \| blob \| history
src/theory/theory_engine.h		diff \| blob \| history
src/util/Makefile.am		diff \| blob \| history
src/util/output.i		diff \| blob \| history
src/util/predicate.i	[new file with mode: 0644]	blob
src/util/result.i		diff \| blob \| history
src/util/statistics.i		diff \| blob \| history
src/util/uninterpreted_constant.i	[new file with mode: 0644]	blob
test/unit/theory/logic_info_white.h		diff \| blob \| history

RSS Atom