Programming Languages Research Group: Git

2012-04-24	Brian Norris	Makefile: build model checker as shared library (libmodel.so)	commit \| commitdiff \| tree
2012-04-24	Brian Norris	lib*.h: wrap C headers in `extern "C"'	commit \| commitdiff \| tree
2012-04-24	Brian Norris	libthreads: don't create ModelAction for thrd_join()	commit \| commitdiff \| tree
2012-04-24	Brian Norris	model: rename print_trace() -> print_summary(), fixup...	commit \| commitdiff \| tree
2012-04-24	Brian Norris	schedule: only print when DEBUG is enabled	commit \| commitdiff \| tree
2012-04-24	Brian Norris	tmp (model)	commit \| commitdiff \| tree
2012-04-24	Brian Norris	threads: cleanup inconsistencies in memory management	commit \| commitdiff \| tree
2012-04-24	Brian Norris	threads: set up Thread to be freed properly	commit \| commitdiff \| tree
2012-04-24	Brian Norris	schedule: reset scheduler when thread is removed	commit \| commitdiff \| tree
2012-04-24	Brian Norris	threads: don't make direct call into scheduler	commit \| commitdiff \| tree
2012-04-24	Brian Norris	threads: save id within class Thread	commit \| commitdiff \| tree
2012-04-24	Brian Norris	threads: initialized Thread member variables	commit \| commitdiff \| tree
2012-04-24	Brian Norris	unify style for returning pointers	commit \| commitdiff \| tree
2012-04-24	Brian Norris	model: print 'number of executions'	commit \| commitdiff \| tree
2012-04-24	Brian Norris	threads: prepare system to loop over many executions	commit \| commitdiff \| tree
2012-04-23	Brian Norris	improve scheduler debugging	commit \| commitdiff \| tree
2012-04-23	Brian Norris	schedule: bugfix - set 'current' thread in all cases	commit \| commitdiff \| tree
2012-04-23	Brian Norris	schedule: refactor next_thread() for better debug printing	commit \| commitdiff \| tree
2012-04-23	Brian Norris	schedule: print debug info	commit \| commitdiff \| tree
2012-04-20	Brian Norris	model: add simple comment	commit \| commitdiff \| tree
2012-04-20	Brian Norris	model: move public functions to private	commit \| commitdiff \| tree
2012-04-20	Brian Norris	model: implement get_next_replay() and advance_backtracking_...	commit \| commitdiff \| tree
2012-04-20	Brian Norris	model: implement, use schedule_next_thread()	commit \| commitdiff \| tree
2012-04-20	Brian Norris	model: add prototypes to header	commit \| commitdiff \| tree
2012-04-20	Brian Norris	model: add iteration routines for class Backtrack	commit \| commitdiff \| tree
2012-04-20	Brian Norris	model: include <cstddef>	commit \| commitdiff \| tree
2012-04-20	Brian Norris	schedule: replace queue with list	commit \| commitdiff \| tree
2012-04-20	Brian Norris	threads: introduce THREAD_ID_T_NONE	commit \| commitdiff \| tree
2012-04-20	Brian Norris	threads: remove leftover class 'prototype'	commit \| commitdiff \| tree
2012-04-19	Brian Norris	model: stash each backtrack event in ModelChecker:...	commit \| commitdiff \| tree
2012-04-19	Brian Norris	model: add class Backtrack	commit \| commitdiff \| tree
2012-04-19	Brian Norris	model: create 'action_list_t' typedef	commit \| commitdiff \| tree
2012-04-19	Brian Norris	model: convert 'action_trace' to pointer	commit \| commitdiff \| tree
2012-04-19	Brian Norris	model: add TreeNode debugging information to print_trace()	commit \| commitdiff \| tree
2012-04-19	Brian Norris	model: implement get_last_conflict()	commit \| commitdiff \| tree
2012-04-19	Brian Norris	model: flesh out set_backtracking()	commit \| commitdiff \| tree
2012-04-19	Brian Norris	model: flesh out check_current_action()	commit \| commitdiff \| tree
2012-04-19	Brian Norris	model: add accessors for ModelAction variables	commit \| commitdiff \| tree
2012-04-19	Brian Norris	tree: bugfix - fix backtrack status	commit \| commitdiff \| tree
2012-04-19	Brian Norris	tree: don't use 'NULL' for a thread ID	commit \| commitdiff \| tree
2012-04-18	Brian Norris	libthreads: only record 'final' even for thrd_join	commit \| commitdiff \| tree
2012-04-18	Brian Norris	model: use TreeNode()	commit \| commitdiff \| tree
2012-04-18	Brian Norris	tree: fix invalid free	commit \| commitdiff \| tree
2012-04-18	Brian Norris	tree: add class TreeNode	commit \| commitdiff \| tree
2012-04-17	Brian Norris	rename threads_internal.h -> threads.h	commit \| commitdiff \| tree
2012-04-17	Brian Norris	threads/model: move switch_to_master from class Thread...	commit \| commitdiff \| tree
2012-04-16	Brian Norris	rename binary: libthreads -> model	commit \| commitdiff \| tree
2012-04-16	Brian Norris	libthreads: split into libthreads and threads	commit \| commitdiff \| tree
2012-04-16	Brian Norris	major rewrite - 'struct thread' replaced with internal...	commit \| commitdiff \| tree
2012-04-16	Brian Norris	Makefile: add debug compilation flag	commit \| commitdiff \| tree
2012-04-10	Brian Norris	scheduler: kill 'replaceable' scheduler	commit \| commitdiff \| tree
2012-04-10	Brian Norris	libthreads: print out trace at end of execution	commit \| commitdiff \| tree
2012-04-10	Brian Norris	model: add print_trace() function	commit \| commitdiff \| tree
2012-04-10	Brian Norris	libthreads: perform 'model checking' when moving to...	commit \| commitdiff \| tree
2012-04-10	Brian Norris	userprog: use both atomic loads and stores	commit \| commitdiff \| tree
2012-04-10	Brian Norris	model: add check_current_action() function	commit \| commitdiff \| tree
2012-04-10	Brian Norris	libthreads: thread_join: return 'int' as status	commit \| commitdiff \| tree
2012-04-10	Brian Norris	threads_internal: pass the current 'action' to the...	commit \| commitdiff \| tree
2012-04-10	Brian Norris	model: add class ModelAction	commit \| commitdiff \| tree
2012-04-10	Brian Norris	threads_internal: add 'thread_switch_to_master()' internally	commit \| commitdiff \| tree
2012-04-05	Brian Norris	libthreads: make typedef for 'thread_id_t'	commit \| commitdiff \| tree
2012-04-05	Brian Norris	use my{Malloc,Free} in model-checking code	commit \| commitdiff \| tree
2012-04-05	Brian Norris	malloc: override 'new' and 'delete' globally	commit \| commitdiff \| tree
2012-04-05	Brian Norris	malloc: add myMalloc() and myFree()	commit \| commitdiff \| tree
2012-04-05	Brian Norris	common: rename "CONFIG" to "COMMON"	commit \| commitdiff \| tree
2012-03-15	Brian Norris	schedule: use STL 'queue' instead of 'list'	commit \| commitdiff \| tree
2012-03-15	Brian Norris	remove unnecessary #includes	commit \| commitdiff \| tree
2012-03-15	Brian Norris	schedule: make 'current' a private member of the scheduler	commit \| commitdiff \| tree
2012-03-15	Brian Norris	schedule: use STL list class instead of custom queue	commit \| commitdiff \| tree
2012-03-14	Brian Norris	rename other .c to .cc	commit \| commitdiff \| tree
2012-03-14	Brian Norris	schedule: move schedule.c --> schedule.cc	commit \| commitdiff \| tree
2012-03-14	Brian Norris	schedule: create 'class Scheduler' with implementation...	commit \| commitdiff \| tree
2012-03-14	Brian Norris	libthreads: delete allocated object	commit \| commitdiff \| tree
2012-03-14	Brian Norris	model: use 'this' uniformly	commit \| commitdiff \| tree
2012-03-14	Brian Norris	model: move model.c --> model.cc	commit \| commitdiff \| tree
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
next

C++11 memory model checker

RSS Atom