Missed some files in a previous check-in. Also check-in the SMT tests. Reference...
authorKevin Lim <ktlim@umich.edu>
Fri, 21 Jul 2006 19:53:07 +0000 (15:53 -0400)
committerKevin Lim <ktlim@umich.edu>
Fri, 21 Jul 2006 19:53:07 +0000 (15:53 -0400)
commitacf9cf21a286828203b4f6d74d730fd8f3d0203d
treeeb8c710612dad8a28c805131084a6fe0253c2dd1
parentbf90e1dbde78906b2d2831c123166ce19cf0ec53
Missed some files in a previous check-in.  Also check-in the SMT tests.  Reference stats will be coming soon.

--HG--
extra : convert_revision : c2f7ea613f350e62395f2b50e4c8cc21c6960a22