GitHub - goodell/cppmem: 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)

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
cgi		cgi
cil-parser		cil-parser
examples		examples
js_of_ocaml-1.2		js_of_ocaml-1.2
web		web
.gitignore		.gitignore
INSTALL.txt		INSTALL.txt
LICENCE.txt		LICENCE.txt
Makefile		Makefile
README.txt		README.txt
_tags		_tags
atomic.ml		atomic.ml
auxl.ml		auxl.ml
cmm.html		cmm.html
cmm.lem		cmm.lem
cmm.ml		cmm.ml
constraints.ml		constraints.ml
error.ml		error.ml
error.mli		error.mli
eval.ml		eval.ml
execfile.ml		execfile.ml
execlexer.mll		execlexer.mll
execparser.mly		execparser.mly
executions.ml		executions.ml
extract.mllib		extract.mllib
globals.ml		globals.ml
ids.ml		ids.ml
ids.mli		ids.mli
interact.ml		interact.ml
iso.ml		iso.ml
lighttpd.conf		lighttpd.conf
location.ml		location.ml
main.itarget		main.itarget
main.ml		main.ml
main_js.ml		main_js.ml
makeexamplesdir.ml		makeexamplesdir.ml
nat_big_num.ml		nat_big_num.ml
nat_big_num.mli		nat_big_num.mli
nat_num.ml		nat_num.ml
nat_num.mli		nat_num.mli
pmap.ml		pmap.ml
pmap.mli		pmap.mli
pp.ml		pp.ml
pset.ml		pset.ml
pset.mli		pset.mli
render_script.sh		render_script.sh
revision.txt		revision.txt
runOpsem.ml		runOpsem.ml
solver.ml		solver.ml
types.ml		types.ml
value.ml		value.ml
value.mli		value.mli
vector.ml		vector.ml
vector.mli		vector.mli

Repository files navigation

CppMem: Interactive C/C++ memory model exploration tool

CppMem can either be used from the command-line or as a web
application, with the main code running as JavaScript in the browser
and a web server for graph layout. 

Documentation:
- for the context: http://www.cl.cam.ac.uk/~pes20/cpp/
- for installation instructions: INSTALL.txt
- for using the tool: (local) web/help.html

Licence:
- see LICENCE.txt