totally unofficial git repo containing sources for the CppMem tool available at http://svr-pes20-cppmem.cl.cam.ac.uk/cppmem/help.html and discussed in the Batty et al. paper at POPL 2011 (http://www.cl.cam.ac.uk/~pes20/cpp/popl085ap-sewell.pdf)
Home Page:http://svr-pes20-cppmem.cl.cam.ac.uk/cppmem/help.html
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool