descriptionC++11 memory model checker
last changeFri, 13 Oct 2017 05:29:13 +0000 (22:29 -0700)
shortlog
2017-10-13 bdemskyFix snapshot code master
2016-11-24 bdemskyWork around changes in newer versions of glibc
2016-02-24 bdemskybug in fence support fixed
2015-12-17 bdemskyIncrease size of bootstrap bytes as some Linux distribu...
2015-09-09 Peizhao Ouedits
2015-09-02 bdemskyAdd SCFence analysis oopsla2015
2015-06-22 bdemskybug fix for atomic adds/subtracts on pointers
2015-04-09 bdemskymove thread stack to thread allocator
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'
...
tags
5 years ago oopsla2015
7 years ago oopsla2013-final
7 years ago oopsla2013 Release point for OOPSLA 2013 Artif...
8 years ago pldi2013
heads
3 years ago ppopp17-artifact
3 years ago master
4 years ago cdsspec-checker