Programming Languages Research Group: Git

2012-03-14	Brian Norris	model: change 'struct model_checker' to 'class ModelChecker'	commit \| commitdiff \| tree
2012-03-14	Brian Norris	Makefile: switch to C++ builds	commit \| commitdiff \| tree
2012-03-13	Brian Norris	stricter typing of function pointers for makecontext()	commit \| commitdiff \| tree
2012-03-13	Brian Norris	C++: don't use C++ keywords as names (this, new, etc.)	commit \| commitdiff \| tree
2012-03-13	Brian Norris	C++: cast result of malloc	commit \| commitdiff \| tree
2012-03-13	Brian Norris	terminology - use 'thread id' instead of 'thread index'	commit \| commitdiff \| tree
2012-03-13	Brian Norris	libthreads: use model-checker's thread ID assignment	commit \| commitdiff \| tree
2012-03-13	Brian Norris	model: add thread ID assignment function	commit \| commitdiff \| tree
2012-03-13	Brian Norris	libthreads: separate private functions from user interface	commit \| commitdiff \| tree
2012-03-13	Brian Norris	libthreads: perform all scheduling/model-checking from...	commit \| commitdiff \| tree
2012-03-13	Brian Norris	libthreads: add THREAD_* states	commit \| commitdiff \| tree
2012-03-12	Brian Norris	schedule: exit if we run out of linked-list nodes	commit \| commitdiff \| tree
2012-03-12	Brian Norris	model: move 'main_thread' to model_checker struct	commit \| commitdiff \| tree
2012-03-12	Brian Norris	move 'current thread' details	commit \| commitdiff \| tree
2012-03-12	Brian Norris	libthreads: utilize new model_checker framework	commit \| commitdiff \| tree
2012-03-12	Brian Norris	model: add global model_checker initialization	commit \| commitdiff \| tree
2012-03-12	Brian Norris	schedule: add replaceable scheduler struct	commit \| commitdiff \| tree
2012-03-10	Brian Norris	model: add stub model.[hc] files	commit \| commitdiff \| tree
2012-03-10	Brian Norris	userprog: separate test 'program' out to userprog.c	commit \| commitdiff \| tree
2012-03-10	Brian Norris	libatomic: add stub atomic lib header/source	commit \| commitdiff \| tree
2012-03-10	Brian Norris	libthreads: use 'void' in argument list	commit \| commitdiff \| tree
2012-03-10	Brian Norris	libthreads: export thread_yield()	commit \| commitdiff \| tree
2012-03-10	Brian Norris	schedule: return next thread pointer directly	commit \| commitdiff \| tree
2012-03-10	Brian Norris	schedule: include libthreads.h	commit \| commitdiff \| tree
2012-03-10	Brian Norris	Makefile: turn on all warnings	commit \| commitdiff \| tree
2012-03-10	Brian Norris	libthreads: include schedule.h (previous mistake...)	commit \| commitdiff \| tree
2012-03-10	Brian Norris	Makefile: use ${CC} instead of hardcoding gcc	commit \| commitdiff \| tree
2012-03-10	Brian Norris	common.h: move common code (non-user) to header	commit \| commitdiff \| tree
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

RSS Atom