Programming Languages Research Group: Git - model-checker.git/atom logC++11 memory model checkerhttp://plrg.eecs.uci.edu/git/?p=model-checker.gitstatic/git-favicon.pngstatic/git-logo.png2017-10-13T05:29:13ZgitwebFix snapshot code2017-10-13T05:29:13Zbdemskybdemsky@uci.edubdemskybdemsky@uci.edu2017-10-13T05:29:13Zhttp://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff;h=da671f78d0aa057272bb82f580b36a188b6331bd
Work around changes in newer versions of glibc2016-11-24T20:40:03Zbdemskybdemsky@uci.edubdemskybdemsky@uci.edu2016-11-24T20:40:03Zhttp://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff;h=01f8364dda87f16e1a8823232c2d90de1d5168a6
bug in fence support fixed2016-02-24T00:07:39Zbdemskybdemsky@uci.edubdemskybdemsky@uci.edu2016-02-24T00:07:39Zhttp://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff;h=178fa56c36e45267d59c545dea0b9c7be93a4e1e
Increase size of bootstrap bytes as some Linux distributions need more space.2015-12-17T08:37:52Zbdemskybdemsky@uci.edubdemskybdemsky@uci.edu2015-12-17T08:37:52Zhttp://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff;h=3897cb4ac31fe710f2333bd6ca917144b58844f2
Increase size of bootstrap bytes as some Linux distributions need more space.
bug fix for atomic adds/subtracts on pointers2015-06-22T18:47:36Zbdemskybdemsky@uci.edubdemskybdemsky@uci.edu2015-06-22T18:47:36Zhttp://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff;h=7c510878f9679da10de79c289df402356b092396
SC Reads can read from things mo'd before the last sc write, they just can't happen... 2014-07-18T21:59:59Zbdemskybdemsky@uci.edubdemskybdemsky@uci.edu2014-07-18T21:59:59Zhttp://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff;h=88fb5522811e0bd481ad3e60b70fe40fbc9c3e0f
SC Reads can read from things mo'd before the last sc write, they just can't happen before it
Bug fixes from running Coverity2014-05-06T20:13:36Zbdemskybdemsky@uci.edubdemskybdemsky@uci.edu2014-05-06T20:13:36Zhttp://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff;h=a2e32839cc2d45b6f8f559061ac4315acc628396
bug fix with missing coherence condition for promises2014-04-16T22:01:00Zbdemskybdemsky@uci.edubdemskybdemsky@uci.edu2014-04-16T22:01:00Zhttp://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff;h=3fe3c730dd6a8deb536276f7a68ef58cae0d74f3
bug fix with missing coherence condition for promises
Bug fix for broken treatment of promises + coherence based pruning to regain pruning... 2014-01-25T22:11:22Zbdemskybdemsky@uci.edubdemskybdemsky@uci.edu2014-01-25T22:11:22Zhttp://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff;h=6014243b7130f34b7ffd1098da225b0b8de5c328
Bug fix for broken treatment of promises + coherence based pruning to regain pruning lost by bug fix
Support for -x option2014-01-25T22:07:08Zbdemskybdemsky@uci.edubdemskybdemsky@uci.edu2014-01-25T22:07:08Zhttp://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff;h=e79a7cd8e9c85d37a5d5c2a81ca14b1017b1b305
run.sh: support running from a different directory2013-09-04T02:03:44ZBrian Norrisbanorris@uci.eduBrian Norrisbanorris@uci.edu2013-09-04T02:03:44Zhttp://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff;h=d17fbaf88464f1a9e8fe2b7df96631652ee17122
run.sh: support running from a different directory
README.md: use HTML URL, not PHP2013-08-15T19:04:59ZBrian Norrisbanorris@uci.eduBrian Norrisbanorris@uci.edu2013-08-15T19:04:59Zhttp://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff;h=1f2a30ddc8f38f3f45d62d169b766c0c38364ecd