Programming Languages Research Group: Git

2012-05-08	Brian Norris	main/threads: remove excess headers	commit \| commitdiff \| tree
2012-05-08	Brian Norris	clockvector: add ClockVector class	commit \| commitdiff \| tree
2012-05-08	Brian Norris	action: split ModelAction off into action.cc	commit \| commitdiff \| tree
2012-05-08	Brian Norris	model: free final list	commit \| commitdiff \| tree
2012-05-08	Brian Norris	model: free threads, thread_map at destruction	commit \| commitdiff \| tree
2012-05-08	Brian Norris	tree: include cstddef for NULL	commit \| commitdiff \| tree
2012-05-08	Brian Norris	model: change DEBUG() statement to ASSERT()	commit \| commitdiff \| tree
2012-05-08	Brian Norris	bugfix - set backtrack events according to an *enabled...	commit \| commitdiff \| tree
2012-05-08	Brian Norris	tree: add is_enabled(Thread *)	commit \| commitdiff \| tree
2012-05-08	Brian Norris	tree: revise arguments (use Thread, ModelAction)	commit \| commitdiff \| tree
2012-05-08	Brian Norris	main: split main() (and related functions) into main.cc	commit \| commitdiff \| tree
2012-05-04	Brian Norris	schedule: fix printf warning (size_t uses %zu)	commit \| commitdiff \| tree
2012-05-03	Brian Norris	threads: add parent info + get_parent() method	commit \| commitdiff \| tree
2012-05-03	Brian Norris	model: bugfix - rearrange debug message	commit \| commitdiff \| tree
2012-05-03	Brian Norris	model: move class Backtrack to model.cc	commit \| commitdiff \| tree
2012-05-03	Brian Norris	straighten out header includes, comment on Forward...	commit \| commitdiff \| tree
2012-05-03	Brian Norris	replace non-fatal error messages with ASSERT()'s	commit \| commitdiff \| tree
2012-05-03	Brian Norris	model: print replay/divergence information when starting...	commit \| commitdiff \| tree
2012-05-03	Brian Norris	model: split printing into print_list() function	commit \| commitdiff \| tree
2012-05-02	Brian Norris	threads: don't call the userprogram interface for initial...	commit \| commitdiff \| tree
2012-05-02	Brian Norris	common: add ASSERT()	commit \| commitdiff \| tree
2012-05-02	Brian Norris	model: number threads from 0, not 1	commit \| commitdiff \| tree
2012-05-02	Brian Norris	userprog: print current thread ID	commit \| commitdiff \| tree
2012-05-02	Brian Norris	model: add sequence numbers to ModelAction	commit \| commitdiff \| tree
2012-05-02	Brian Norris	model: fixup ModelAction print message	commit \| commitdiff \| tree
2012-05-01	Brian Norris	threads: move thread_id_t definition and redefine thrd_t...	commit \| commitdiff \| tree
2012-05-01	Brian Norris	model: index thread_map by int, not thread_id_t	commit \| commitdiff \| tree
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
next

C++11 memory model checker

RSS Atom