projects / model-checker.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionC++11 memory model checker
ownerBrian Demsky
last changeFri, 13 Oct 2017 05:29:13 +0000 (22:29 -0700)
URLgit://plrg.ics.uci.edu/model-checker.git
ssh://plrg.ics.uci.edu/home/git/model-checker.git
shortlog
2017-10-13 bdemskyFix snapshot code master commit | commitdiff | tree | snapshot
2016-11-24 bdemskyWork around changes in newer versions of glibc commit | commitdiff | tree | snapshot
2016-02-24 bdemskybug in fence support fixed commit | commitdiff | tree | snapshot
2015-12-17 bdemskyIncrease size of bootstrap bytes as some Linux distribu... commit | commitdiff | tree | snapshot
2015-09-09 Peizhao Ouedits commit | commitdiff | tree | snapshot
2015-09-02 bdemskyAdd SCFence analysis oopsla2015 commit | commitdiff | tree | snapshot
2015-06-22 bdemskybug fix for atomic adds/subtracts on pointers commit | commitdiff | tree | snapshot
2015-04-09 bdemskymove thread stack to thread allocator commit | commitdiff | tree | snapshot
2014-07-18 bdemskySC Reads can read from things mo'd before the last... commit | commitdiff | tree | snapshot
2014-05-06 bdemskyBug fixes from running Coverity commit | commitdiff | tree | snapshot
2014-05-06 bdemskyfix signed/unsigned warning commit | commitdiff | tree | snapshot
2014-04-16 bdemskybug fix with missing coherence condition for promises commit | commitdiff | tree | snapshot
2014-01-26 bdemskyBug fix for broken treatment of promises + coherence... commit | commitdiff | tree | snapshot
2014-01-25 bdemskySupport for -x option commit | commitdiff | tree | snapshot
2014-01-25 bdemskyAnnotation Support commit | commitdiff | tree | snapshot
2013-09-04 Brian NorrisMerge remote-tracking branch 'origin/master' commit | commitdiff | tree | snapshot
...
tags
10 years ago oopsla2015   | commit | shortlog | log
12 years ago oopsla2013-final   | commit | shortlog | log
12 years ago oopsla2013 Release point for OOPSLA 2013 Artif... tag | commit | shortlog | log
13 years ago pldi2013   | commit | shortlog | log
heads
8 years ago ppopp17-artifact shortlog | log | tree
8 years ago master shortlog | log | tree
9 years ago cdsspec-checker shortlog | log | tree
C++11 memory model checker