descriptionC++11 memory model checker
ownerBrian Norris
last changeThu, 9 Apr 2015 06:03:47 +0000 (23:03 -0700)
2015-04-09 bdemskymove thread stack to thread allocator master
2014-07-18 bdemskySC Reads can read from things mo'd before the last...
2014-05-06 bdemskyBug fixes from running Coverity
2014-05-06 bdemskyfix signed/unsigned warning
2014-04-16 bdemskybug fix with missing coherence condition for promises
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
21 months ago oopsla2013-final
22 months ago oopsla2013 Release point for OOPSLA 2013 Artif...
2 years ago pldi2013
2 weeks ago master