Programming Languages Research Group: Git

author	Brian Norris <banorris@uci.edu>
	Fri, 6 Jul 2012 00:31:30 +0000 (17:31 -0700)
committer	Brian Norris <banorris@uci.edu>
	Fri, 6 Jul 2012 17:55:11 +0000 (10:55 -0700)
commit	75ecaf106e4fc0d2ad2f3d82d089cf8a9956e41a
tree	50d20a2234164ebb06a343f344e9b37bd10389e0	tree \| snapshot
parent	a59176e8094c3a7ec272f70b7f9511f9061dd117	commit \| diff

clock: add modelclock_t typedef, use 'unsigned int'

Clocks should be unsigned and documented as their own 'modelclock_t' type.

C11 Tester Tool Public Repository