datarace/clockvector: switch 'clocks' to use 'unsigned int' (modelclock_t)
authorBrian Norris <banorris@uci.edu>
Fri, 6 Jul 2012 18:00:27 +0000 (11:00 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 6 Jul 2012 18:00:27 +0000 (11:00 -0700)
commitd2f35798cdae344760a0cc7f22dd5adc9cbc7081
treee5cd451b93dc9021bcddb63a43f9d981ba014d72
parent75ecaf106e4fc0d2ad2f3d82d089cf8a9956e41a
datarace/clockvector: switch 'clocks' to use 'unsigned int' (modelclock_t)
clockvector.cc
clockvector.h
datarace.cc
datarace.h