projects / model-checker.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model: make scheduler private
[model-checker.git] / librace.cc
2012-07-12 Brian NorrisMerge branch 'master' into brian blob | commitdiff | raw
2012-07-10 Brian Demskyhook up the race detector... blob | commitdiff | raw
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff..... blob | commitdiff | raw | diff to current
2012-05-15 Brian Norrislibrace: actually compute the loads and stores blob | commitdiff | raw | diff to current
2012-04-26 Brian Norrislibrace: format DEBUG() prints properly blob | commitdiff | raw | diff to current
2012-04-25 Brian Norrislibrace: add load/store interface for checking data... blob | commitdiff | raw | diff to current
C++11 memory model checker