Programming Languages Research Group: Git

author	Brian Norris <banorris@uci.edu>
	Thu, 11 Oct 2012 23:48:39 +0000 (16:48 -0700)
committer	Brian Norris <banorris@uci.edu>
	Thu, 11 Oct 2012 23:48:39 +0000 (16:48 -0700)
commit	d5188b9694c29e0d776a643965f2461a1fbbe5e1
tree	cb12b1cf7e9eb4de7b213adbb96155a44b64b286	tree \| snapshot
parent	0b9a8924695870c15bc39feb6ec96d525954eaba	commit \| diff

mutex: move mutex.h to standard name/location

The important exported interfaces should be in the include/ dir. Also,
C++11 programs should use this header as:

#include <mutex>

include/mutex	[new file with mode: 0644]	blob
model.cc		diff \| blob \| history
mutex.cc		diff \| blob \| history
mutex.h	[deleted file]	blob \| history

C++11 memory model checker

RSS Atom