Programming Languages Research Group: Git - model-checker.git/commit

projects / model-checker.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 6a3cefc) | patch

author	Brian Demsky <bdemsky@uci.edu>
	Sat, 19 May 2012 01:14:26 +0000 (18:14 -0700)
committer	Brian Demsky <bdemsky@uci.edu>
	Sat, 19 May 2012 01:14:26 +0000 (18:14 -0700)
commit	322fd21c16209780d43872cc44bb68d38172eabc
tree	7539682399fb4b9037c949c3243eaedd3b92dc22	tree \| snapshot
parent	6a3cefc5fc5bcae7b7f94dd9e6199f6b3efdd76e	commit \| diff

let us set the size of the heap in a sane way

main.cc		diff \| blob \| history
mymemory.cc		diff \| blob \| history
mymemory.h		diff \| blob \| history
snapshot-interface.cc		diff \| blob \| history
snapshot.cc		diff \| blob \| history
snapshot.h		diff \| blob \| history

C++11 memory model checker