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

projects / model-checker.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 7f626cb) | patch

author	Subramanian Ganapathy <sganapat@uci.edu>
	Tue, 15 May 2012 01:29:08 +0000 (18:29 -0700)
committer	Subramanian Ganapathy <sganapat@uci.edu>
	Tue, 15 May 2012 01:29:08 +0000 (18:29 -0700)
commit	02792abf9399d1dca2fab7bc511f09e934d05f1d
tree	341cb539dc2193501ef260f8362fa62e35732f99	tree \| snapshot
parent	7f626cb1b37a65340c9d82a124aa59797f8083ce	commit \| diff

Defining the interfaces to add various regions to snapshot

14 files changed:

.gitignore		diff \| blob \| history
Makefile~	[deleted file]	blob \| history
main.cc		diff \| blob \| history
model.cc		diff \| blob \| history
model.cc~		diff \| blob \| history
model.h		diff \| blob \| history
model.h~	[deleted file]	blob \| history
mymemory.cc		diff \| blob \| history
mymemory.cc~	[deleted file]	blob \| history
mymemory.h		diff \| blob \| history
snapshot-interface.cc		diff \| blob \| history
snapshot-interface.h		diff \| blob \| history
snapshot.h		diff \| blob \| history
snapshot.h~	[deleted file]	blob \| history

C++11 memory model checker