Programming Languages Research Group: Git

author	Brian Norris <banorris@uci.edu>
	Thu, 7 Mar 2013 22:56:51 +0000 (14:56 -0800)
committer	Brian Norris <banorris@uci.edu>
	Thu, 7 Mar 2013 22:58:45 +0000 (14:58 -0800)
commit	5ea8e3d5d861ed363e5ac5f3b20b8181dd197efb
tree	6e12d73cc2f6dc6730719e61cea5ed3375ae57e7	tree \| snapshot
parent	b2f34d7f1d030f414786ea0b1a5709dcac604c7b	commit \| diff

bugfix - add stl-model.h wrappers, to provide more control over STL

We need to provide an operator new/delete for our std::vector and
std::list instantiations. So we extend the base classes and add the
appropriate new/delete methods.

12 files changed:

cyclegraph.cc		diff \| blob \| history
cyclegraph.h		diff \| blob \| history
datarace.cc		diff \| blob \| history
datarace.h		diff \| blob \| history
model.cc		diff \| blob \| history
model.h		diff \| blob \| history
nodestack.h		diff \| blob \| history
promise.h		diff \| blob \| history
snapshot-interface.cc		diff \| blob \| history
stl-model.h	[new file with mode: 0644]	blob
threads-model.h		diff \| blob \| history
workqueue.h		diff \| blob \| history

C++11 memory model checker

RSS Atom