descriptionC++11 memory model checker
ownerBrian Norris
last changeWed, 16 Apr 2014 22:01:00 +0000 (15:01 -0700)
2 hours ago bdemskybug fix with missing coherence condition for promises master
2014-01-26 bdemskyBug fix for broken treatment of promises + coherence...
2014-01-25 bdemskySupport for -x option
2014-01-25 bdemskyAnnotation Support
2013-09-04 Brian NorrisMerge remote-tracking branch 'origin/master'
2013-09-04 Brian support running from a different directory
2013-08-15 Brian use HTML URL, not PHP
2013-08-14 Brian move copyright down
2013-08-14 Brian add detail for benchmarks
2013-08-14 Brian improve wording
2013-08-14 Brian add more fairness notes
2013-08-14 Brian NorrisMakefile: add README.pdf target
2013-08-14 Brian remove <pre></pre> tags
2013-08-14 Brian Norristhreads: kill clang warnings about struct/class Thread
2013-08-14 Brian Norrismalloc: modify compiler warning workarounds
2013-08-14 Brian Norrisimpatomic: silence more clang warnings
9 months ago oopsla2013-final
10 months ago oopsla2013 Release point for OOPSLA 2013 Artif...
17 months ago pldi2013
2 hours ago master