Programming Languages Research Group: Git

author	Brian Norris <banorris@uci.edu>
	Sun, 3 Mar 2013 07:37:05 +0000 (23:37 -0800)
committer	Brian Norris <banorris@uci.edu>
	Sun, 3 Mar 2013 07:37:05 +0000 (23:37 -0800)
commit	d3f4056998c5b286c3102be270a863fa88a1bfd5
tree	cc67f2eb7ebae2beb446e1d4ca978e4c452e7374	tree \| snapshot
parent	db5cad55a147218984ef544439ee8a936303ddf8	commit \| diff

mutex: change 'islocked' to hold Thread pointer

We will need to know which Thread is holding the lock, so just stick it
in the mutex state.

C++11 memory model checker