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

author	Morgan Deters <mdeters@gmail.com>
	Tue, 21 Sep 2010 21:50:26 +0000 (21:50 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Tue, 21 Sep 2010 21:50:26 +0000 (21:50 +0000)
commit	9dbc683d057288a23109075d806a5398252eaa12
tree	d703697641c370719b227fe975116763915b3555	tree
parent	3fd94cba660ab8a8c371bd0b6eae8e116a7c8842	commit \| diff

part of review (bug #197): coding conventions, file-level documentation, re-ran update-copyright.pl, etc.

14 files changed:

src/theory/arith/arith_activity.h		diff \| blob \| history
src/theory/arith/arith_constants.h		diff \| blob \| history
src/theory/arith/arith_propagator.cpp		diff \| blob \| history
src/theory/arith/arith_propagator.h		diff \| blob \| history
src/theory/arith/arith_utilities.h		diff \| blob \| history
src/theory/arith/next_arith_rewriter.cpp		diff \| blob \| history
src/theory/arith/next_arith_rewriter.h		diff \| blob \| history
src/theory/arith/normal_form.cpp		diff \| blob \| history
src/theory/arith/normal_form.h		diff \| blob \| history
src/theory/arith/ordered_bounds_list.h		diff \| blob \| history
src/theory/arith/tableau.h		diff \| blob \| history
src/theory/arith/theory_arith.cpp		diff \| blob \| history
src/theory/arith/theory_arith.h		diff \| blob \| history
src/theory/arith/theory_arith_type_rules.h		diff \| blob \| history