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

author	Morgan Deters <mdeters@cs.nyu.edu>
	Tue, 5 Feb 2013 19:28:52 +0000 (14:28 -0500)
committer	Morgan Deters <mdeters@cs.nyu.edu>
	Tue, 5 Feb 2013 19:28:52 +0000 (14:28 -0500)
commit	03e330b938f04eab6ad9123ee7b50b34a0a00eb6
tree	c3fb4c172dbb17d330842e4144fe429dc3ae9705	tree
parent	ef0e079d85b18fd36b4d90be15b465e2316a38c9	commit \| diff

dos2unix conversion for a number of files; this avoids spurious conflicts when merging to master

21 files changed:

src/theory/arrays/theory_arrays_model.h		diff \| blob \| history
src/theory/quantifiers/inst_gen.cpp		diff \| blob \| history
src/theory/quantifiers/inst_gen.h		diff \| blob \| history
src/theory/quantifiers/inst_match_generator.cpp		diff \| blob \| history
src/theory/quantifiers/inst_match_generator.h		diff \| blob \| history
src/theory/quantifiers/inst_strategy_cbqi.cpp		diff \| blob \| history
src/theory/quantifiers/inst_strategy_cbqi.h		diff \| blob \| history
src/theory/quantifiers/inst_strategy_e_matching.cpp		diff \| blob \| history
src/theory/quantifiers/inst_strategy_e_matching.h		diff \| blob \| history
src/theory/quantifiers/macros.cpp		diff \| blob \| history
src/theory/quantifiers/macros.h		diff \| blob \| history
src/theory/quantifiers/quant_util.cpp		diff \| blob \| history
src/theory/quantifiers/quant_util.h		diff \| blob \| history
src/theory/quantifiers/quantifiers_attributes.cpp		diff \| blob \| history
src/theory/quantifiers/quantifiers_attributes.h		diff \| blob \| history
src/theory/rep_set.cpp		diff \| blob \| history
src/theory/rep_set.h		diff \| blob \| history
src/theory/rewriterules/efficient_e_matching.cpp		diff \| blob \| history
src/theory/rewriterules/efficient_e_matching.h		diff \| blob \| history
src/util/sort_inference.cpp		diff \| blob \| history
src/util/sort_inference.h		diff \| blob \| history