commit untested condvar code
[cdsspec-compiler.git] / librace.cc
2012-10-09 Brian Norrisrename threads.h -> threads-model.h
2012-10-04 Brian DemskyMerge branch 'master' of /home/git/model-checker
2012-10-03 Brian NorrisMerge remote-tracking branch 'origin/master'
2012-10-03 Brian Norrismodeltypes: move small typedefs to own header
2012-07-12 Brian NorrisMerge branch 'master' into brian
2012-07-10 Brian Demskyhook up the race detector...
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff.....
2012-05-15 Brian Norrislibrace: actually compute the loads and stores
2012-04-26 Brian Norrislibrace: format DEBUG() prints properly
2012-04-25 Brian Norrislibrace: add load/store interface for checking data...