Programming Languages Research Group: Git

author	Brian Norris <banorris@uci.edu>
	Tue, 9 Oct 2012 19:09:02 +0000 (12:09 -0700)
committer	Brian Norris <banorris@uci.edu>
	Tue, 9 Oct 2012 21:15:16 +0000 (14:15 -0700)
commit	616746ec12aae78b0d0262c009568109686cb000
tree	26fb846bda209012887a85821f9285d168973cf1	tree \| snapshot
parent	e60d8c23d30a0dfe66b8426f7f2ecf576e812028	commit \| diff

move libthreads.h -> include/threads.h

Helps user programs to be able to just use C11 <threads.h>

12 files changed:

C++11 memory model checker