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

author	Morgan Deters <mdeters@cs.nyu.edu>
	Mon, 4 Feb 2013 22:30:18 +0000 (17:30 -0500)
committer	Morgan Deters <mdeters@cs.nyu.edu>
	Mon, 4 Feb 2013 22:30:18 +0000 (17:30 -0500)
commit	aed7130284c04f7ada79db1ed3d4a8ddb08d3543
tree	5388d8ef1af23934fe381d0f1b5da796d5176a19	tree
parent	9c0b2f6abd82564df0686cca826015f4eb9095fa	commit \| diff

fixed files with DOS newlines; fixed contrib/ scripts to use git

23 files changed:

contrib/get-authors		diff \| blob \| history
contrib/update-copyright.pl		diff \| blob \| history
src/theory/arrays/theory_arrays_model.h		diff \| blob \| history
src/theory/quantifiers/inst_gen.cpp	[changed mode: 0755->0644]	diff \| blob \| history
src/theory/quantifiers/inst_gen.h	[changed mode: 0755->0644]	diff \| blob \| history
src/theory/quantifiers/inst_match_generator.cpp	[changed mode: 0755->0644]	diff \| blob \| history
src/theory/quantifiers/inst_match_generator.h	[changed mode: 0755->0644]	diff \| blob \| history
src/theory/quantifiers/inst_strategy_cbqi.cpp	[changed mode: 0755->0644]	diff \| blob \| history
src/theory/quantifiers/inst_strategy_cbqi.h	[changed mode: 0755->0644]	diff \| blob \| history
src/theory/quantifiers/inst_strategy_e_matching.cpp	[changed mode: 0755->0644]	diff \| blob \| history
src/theory/quantifiers/inst_strategy_e_matching.h	[changed mode: 0755->0644]	diff \| blob \| history
src/theory/quantifiers/macros.cpp	[changed mode: 0755->0644]	diff \| blob \| history
src/theory/quantifiers/macros.h	[changed mode: 0755->0644]	diff \| blob \| history
src/theory/quantifiers/quant_util.cpp	[changed mode: 0755->0644]	diff \| blob \| history
src/theory/quantifiers/quant_util.h	[changed mode: 0755->0644]	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	[changed mode: 0755->0644]	diff \| blob \| history
src/theory/rewriterules/efficient_e_matching.h	[changed mode: 0755->0644]	diff \| blob \| history
src/util/sort_inference.cpp	[changed mode: 0755->0644]	diff \| blob \| history
src/util/sort_inference.h	[changed mode: 0755->0644]	diff \| blob \| history

RSS Atom