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

author	Morgan Deters <mdeters@gmail.com>
	Fri, 28 Sep 2012 20:14:40 +0000 (20:14 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Fri, 28 Sep 2012 20:14:40 +0000 (20:14 +0000)
commit	c49dd8a78fcceeef058126797e6bbe44d23b6804
tree	da81d63a01d019c25ea77b83f00917f4e4906035	tree
parent	b5178b5e0e520c388d45918fed8cf874d1b61280	commit \| diff

rename Assert.h/Assert.cpp to cvc4_assert.h/cvc4_assert.cpp -- we need to make it unambiguous for case-insensitive filesystems like on Mac. Fixes Mac builds

63 files changed:

src/context/cdchunk_list.h		diff \| blob \| history
src/context/cdhashmap.h		diff \| blob \| history
src/context/cdhashset.h		diff \| blob \| history
src/context/cdlist.h		diff \| blob \| history
src/context/cdo.h		diff \| blob \| history
src/context/cdvector.h		diff \| blob \| history
src/context/context.cpp		diff \| blob \| history
src/context/context.h		diff \| blob \| history
src/context/context_mm.cpp		diff \| blob \| history
src/cvc4.i		diff \| blob \| history
src/expr/expr_template.cpp		diff \| blob \| history
src/expr/metakind_template.h		diff \| blob \| history
src/expr/node.h		diff \| blob \| history
src/expr/node_builder.h		diff \| blob \| history
src/expr/node_manager.cpp		diff \| blob \| history
src/expr/node_self_iterator.h		diff \| blob \| history
src/expr/pickle_data.cpp		diff \| blob \| history
src/expr/pickler.cpp		diff \| blob \| history
src/expr/type_node.h		diff \| blob \| history
src/expr/type_properties_template.h		diff \| blob \| history
src/proof/proof_manager.cpp		diff \| blob \| history
src/prop/cnf_stream.cpp		diff \| blob \| history
src/prop/prop_engine.cpp		diff \| blob \| history
src/smt/smt_engine_scope.h		diff \| blob \| history
src/theory/arrays/static_fact_manager.cpp		diff \| blob \| history
src/theory/arrays/union_find.cpp		diff \| blob \| history
src/theory/datatypes/theory_datatypes.cpp		diff \| blob \| history
src/theory/logic_info.cpp		diff \| blob \| history
src/theory/output_channel.h		diff \| blob \| history
src/theory/quantifiers/theory_quantifiers.cpp		diff \| blob \| history
src/theory/theory.cpp		diff \| blob \| history
src/theory/theory_test_utils.h		diff \| blob \| history
src/theory/type_enumerator.h		diff \| blob \| history
src/theory/type_enumerator_template.cpp		diff \| blob \| history
src/util/Assert.cpp	[deleted file]	blob \| history
src/util/Assert.h	[deleted file]	blob \| history
src/util/Assert.i	[deleted file]	blob \| history
src/util/Makefile.am		diff \| blob \| history
src/util/boolean_simplification.h		diff \| blob \| history
src/util/cvc4_assert.cpp	[new file with mode: 0644]	blob
src/util/cvc4_assert.h	[new file with mode: 0644]	blob
src/util/cvc4_assert.i	[new file with mode: 0644]	blob
src/util/datatype.cpp		diff \| blob \| history
src/util/dynamic_array.h		diff \| blob \| history
src/util/exception.h		diff \| blob \| history
src/util/matcher.h		diff \| blob \| history
src/util/predicate.cpp		diff \| blob \| history
src/util/recursion_breaker.h		diff \| blob \| history
src/util/result.cpp		diff \| blob \| history
src/util/sexpr.cpp		diff \| blob \| history
src/util/trans_closure.cpp		diff \| blob \| history
test/unit/context/cdmap_white.h		diff \| blob \| history
test/unit/context/cdo_black.h		diff \| blob \| history
test/unit/context/context_black.h		diff \| blob \| history
test/unit/context/context_white.h		diff \| blob \| history
test/unit/expr/attribute_white.h		diff \| blob \| history
test/unit/expr/node_builder_black.h		diff \| blob \| history
test/unit/expr/node_white.h		diff \| blob \| history
test/unit/expr/symbol_table_black.h		diff \| blob \| history
test/unit/memory.h		diff \| blob \| history
test/unit/prop/cnf_stream_white.h		diff \| blob \| history
test/unit/theory/theory_engine_white.h		diff \| blob \| history
test/unit/util/assert_white.h		diff \| blob \| history

RSS Atom