model: don't use global 'model' unnecessarily
[c11tester.git] / datarace.cc
2012-09-07 Brian Demskychanges
2012-09-07 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-09-07 Brian Demskychanges
2012-09-06 Brian NorrisMerge branch 'norris'
2012-09-06 Brian Demskyworking towards making datarace detection work
2012-09-05 Brian Demskybug in race detector
2012-07-13 Brian Norrisdatarace: fixup, properly document BIT48
2012-07-12 Brian Norrisreformat some doxygen comments, remove newlines
2012-07-12 Brian NorrisMerge branch 'master' into brian
2012-07-11 Brian Norrisremove EOL spaces, fix indentation
2012-07-11 Brian Demskydocumentation
2012-07-07 Brian NorrisMerge branch 'datarace'
2012-07-07 Brian Norrisdatarace: fix build error
2012-07-07 Brian Demskychanges
2012-07-06 Brian Norrisdatarace: factor subtle clock-vector logic into a reusa...
2012-07-06 Brian Norrisdatarace: remove EOL spaces
2012-07-06 Brian Norrisdatarace/clockvector: switch 'clocks' to use 'unsigned...
2012-07-06 Brian Demskyadd support for datarace detection...