Permalink
Fetching contributors…
Cannot retrieve contributors at this time
9 lines (6 sloc) 212 Bytes
-*- mode: Text -*-
C-Reduce was written by Yang Chen, Eric Eide, and John Regehr at the
University of Utah.
Yang Chen <chenyang@cs.utah.edu>
Eric Eide <eeide@cs.utah.edu>
John Regehr <regehr@cs.utah.edu>