Programming Languages Research Group: Git

2012-03-10	Brian Norris	libthreads: add thread_current() function	commit \| commitdiff \| tree
2012-03-10	Brian Norris	libthreads: remove unused codepath	commit \| commitdiff \| tree
2012-03-10	Brian Norris	libthreads: cleanup startup/exit functions	commit \| commitdiff \| tree
2012-03-10	Brian Norris	modify "user program"	commit \| commitdiff \| tree
2012-03-10	Brian Norris	schedule: set thread to NULL when there is no next...	commit \| commitdiff \| tree
2012-03-09	Brian Norris	reformat DEBUG messages	commit \| commitdiff \| tree
2012-03-09	Brian Norris	libthreads: export thread_join() in header	commit \| commitdiff \| tree
2012-03-09	Brian Norris	libthreads: merge thread_create() and thread_start()	commit \| commitdiff \| tree
2012-03-09	Brian Norris	schedule: add scheduler, thread_yield(), etc.	commit \| commitdiff \| tree
2012-03-09	Brian Norris	libthreads: fixups	commit \| commitdiff \| tree
2012-03-09	Brian Norris	libthreads: cleanup main thread initialization	commit \| commitdiff \| tree
2012-03-09	Brian Norris	add "make tags" (using `ctags`)	commit \| commitdiff \| tree
2012-03-08	Brian Norris	libthreads: create header file	commit \| commitdiff \| tree
2012-03-08	Brian Norris	libthreads: remove superfluous code	commit \| commitdiff \| tree
2012-03-08	Brian Norris	add .gitignore	commit \| commitdiff \| tree
2012-03-08	Brian Norris	initial commit	commit \| commitdiff \| tree

C++11 memory model checker