descriptionC++11 memory model checker
ownerBrian Norris
last changeFri, 18 Jul 2014 21:59:59 +0000 (14:59 -0700)
9 days ago bdemskySC Reads can read from things mo'd before the last... master
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
2013-08-14 Brian remove <pre></pre> tags
12 months ago oopsla2013-final
13 months ago oopsla2013 Release point for OOPSLA 2013 Artif...
20 months ago pldi2013
9 days ago master