descriptionC++11 memory model checker
ownerBrian Norris
last changeFri, 18 Jul 2014 21:59:59 +0000 (14:59 -0700)
shortlog
2014-07-18 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 Norrisrun.sh: support running from a different directory
2013-08-15 Brian NorrisREADME.md: use HTML URL, not PHP
2013-08-14 Brian NorrisREADME.md: move copyright down
2013-08-14 Brian NorrisREADME.md: add detail for benchmarks
2013-08-14 Brian NorrisREADME.md: improve wording
2013-08-14 Brian NorrisREADME.md: add more fairness notes
2013-08-14 Brian NorrisMakefile: add README.pdf target
2013-08-14 Brian NorrisREADME.md: remove <pre></pre> tags
...
tags
15 months ago oopsla2013-final
16 months ago oopsla2013 Release point for OOPSLA 2013 Artif...
23 months ago pldi2013
heads
3 months ago master