Programming Languages Research Group: Git

author	Brian Norris <banorris@uci.edu>
	Tue, 9 Oct 2012 19:05:32 +0000 (12:05 -0700)
committer	Brian Norris <banorris@uci.edu>
	Tue, 9 Oct 2012 21:15:03 +0000 (14:15 -0700)
commit	e60d8c23d30a0dfe66b8426f7f2ecf576e812028
tree	e5d52de7671b30e9584cb5f1d1d56fa30ccf3283	tree \| snapshot
parent	7e44b12a812b12b75ae1613b8ce26be8f0efcde3	commit \| diff

rename threads.h -> threads-model.h

There's a name conflict with the C11 <threads.h>
We might as well just avoid the conflict entirely

16 files changed:

C++11 memory model checker