Programming Languages Research Group: Git

2012-05-01	Brian Norris	model: change type for ModelChecker::get_id()	commit \| commitdiff \| tree
2012-05-01	Brian Norris	tree: remove tree_t, map thread ids via int, not thread_id_t	commit \| commitdiff \| tree
2012-05-01	Brian Norris	threads: add id_to_int() and int_to_id() inline functions	commit \| commitdiff \| tree
2012-04-30	Brian Norris	model: remove braces	commit \| commitdiff \| tree
2012-04-30	Brian Norris	clean up header #includes	commit \| commitdiff \| tree
2012-04-30	Brian Norris	split header out to action.h	commit \| commitdiff \| tree
2012-04-30	Brian Norris	tree: fix header for potential multiple inclusions	commit \| commitdiff \| tree
2012-04-29	Brian Norris	model: add is_acquire() and is_release() helper functions	commit \| commitdiff \| tree
2012-04-29	Brian Norris	model: wrap some ModelAction helper functions	commit \| commitdiff \| tree
2012-04-27	Brian Norris	malloc: add exception info to function header	commit \| commitdiff \| tree
2012-04-27	Brian Norris	model: backtracking messages are only for debugging	commit \| commitdiff \| tree
2012-04-27	Brian Norris	common: add simple DBG_ENABLED() macros	commit \| commitdiff \| tree
2012-04-27	Brian Norris	thread: remove dead Thread code	commit \| commitdiff \| tree
2012-04-27	Brian Norris	model: fixup thread ID selection	commit \| commitdiff \| tree
2012-04-26	Brian Norris	demote 'system_thread' to just 'system_context'	commit \| commitdiff \| tree
2012-04-26	Brian Norris	libatomic: add atomic_init()	commit \| commitdiff \| tree
2012-04-26	Brian Norris	userprog: print atomic load/store values	commit \| commitdiff \| tree
2012-04-26	Brian Norris	libatomic: use 'values' for atomic load/store	commit \| commitdiff \| tree
2012-04-26	Brian Norris	model: bugfix - detect conflicts properly	commit \| commitdiff \| tree
2012-04-26	Brian Norris	libatomic: add DBG() calls	commit \| commitdiff \| tree
2012-04-26	Brian Norris	model: bugfix - reset the "current_action" after it...	commit \| commitdiff \| tree
2012-04-26	Brian Norris	librace: format DEBUG() prints properly	commit \| commitdiff \| tree
2012-04-25	Brian Norris	librace: add load/store interface for checking data...	commit \| commitdiff \| tree
2012-04-24	Brian Norris	model: remove unused definition	commit \| commitdiff \| tree
2012-04-24	Brian Norris	threads: allocate Threads in via userMalloc()	commit \| commitdiff \| tree
2012-04-24	Brian Norris	common: introduce userMalloc() and userFree()	commit \| commitdiff \| tree
2012-04-24	Brian Norris	libthreads: remove unnecessary 'extern'	commit \| commitdiff \| tree
2012-04-24	Brian Norris	run.sh: add simple 'run' script	commit \| commitdiff \| tree
2012-04-24	Brian Norris	userprog: use typedef'd thrd_start_t	commit \| commitdiff \| tree
2012-04-24	Brian Norris	.gitignore: add *.so	commit \| commitdiff \| tree
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
next

C++11 memory model checker

RSS Atom