Programming Languages Research Group: Git - model-checker.git/history

2013-04-16	Brian Norris	Merge cleanup branch	blob \| commitdiff \| raw
2013-04-16	Brian Norris	model / threads: remove global get_next_id() interface	blob \| commitdiff \| raw
2013-04-04	Brian Norris	swapcontext() fix for Mac OSX	blob \| commitdiff \| raw \| diff to current
2013-04-03	Brian Norris	threads: remove wait_list	blob \| commitdiff \| raw \| diff to current
2013-03-27	Brian Norris	threads: move circular wait check into Threads::is_wait...	blob \| commitdiff \| raw \| diff to current
2013-03-09	Brian Norris	model: privatize some thread functions	blob \| commitdiff \| raw \| diff to current
2013-03-03	Brian Norris	threads: add waiting_on()	blob \| commitdiff \| raw \| diff to current
2013-02-25	Brian Norris	threads: construct Thread only with a given "parent"	blob \| commitdiff \| raw \| diff to current
2013-02-25	Brian Demsky	fix conflicts	blob \| commitdiff \| raw \| diff to current
2013-02-25	Brian Demsky	fix norris mentioned bug	blob \| commitdiff \| raw \| diff to current
2013-02-20	Brian Norris	don't include action.h from model.h	blob \| commitdiff \| raw \| diff to current
2013-02-15	Brian Norris	threads: bugfix - do not call thread_current() from...	blob \| commitdiff \| raw \| diff to current
2013-02-12	Brian Norris	model: set thread state during 'swap' calls	blob \| commitdiff \| raw \| diff to current
2013-01-02	Brian Norris	threads: change thrd_t to store Thread pointer	blob \| commitdiff \| raw \| diff to current
2012-12-18	Brian Norris	threads: assert completion is only called once	blob \| commitdiff \| raw \| diff to current
2012-12-18	Brian Norris	threads: assert THREAD_COMPLETED is immutable	blob \| commitdiff \| raw \| diff to current
2012-12-06	Brian Norris	threads: add const	blob \| commitdiff \| raw \| diff to current
2012-11-20	Brian Norris	threads: remove todo (long overdue)	blob \| commitdiff \| raw \| diff to current
2012-11-16	Brian Norris	printf -> model_print	blob \| commitdiff \| raw \| diff to current
2012-10-09	Brian Norris	move libthreads.h -> include/threads.h	blob \| commitdiff \| raw \| diff to current
2012-10-09	Brian Norris	rename threads.h -> threads-model.h	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Demsky	merge massive speedup with release sequence support...	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Norris	threads: add constructor for model-checker thread	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Norris	threads: add flag for a special type of "model-checker...	blob \| commitdiff \| raw \| diff to current
2012-10-04	Brian Demsky	Merge branch 'master' of /home/git/model-checker	blob \| commitdiff \| raw \| diff to current
2012-10-04	Brian Norris	fixup more id vs. thread_id_t	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Demsky	Merge branch 'master' of /home/git/model-checker	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	replace malloc/calloc/free with snapshot_{malloc/calloc...	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Demsky	random memory leak fixes and memory access fixes	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	merge stuff	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	support for locks... untested, but doesn't break quick...	blob \| commitdiff \| raw \| diff to current
2012-09-07	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-09-06	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-09-06	Brian Norris	threads: add a wait_list	blob \| commitdiff \| raw \| diff to current
2012-09-06	Brian Norris	threads: add is_complete() helper function	blob \| commitdiff \| raw \| diff to current
2012-09-06	Brian Norris	action: add THREAD_FINISH action	blob \| commitdiff \| raw \| diff to current
2012-08-16	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-08-16	Brian Norris	threads: correct 'swap()' documentation	blob \| commitdiff \| raw \| diff to current
2012-08-16	Brian Norris	schedule, threads: update comments, const's	blob \| commitdiff \| raw \| diff to current
2012-08-16	Brian Norris	model: make scheduler private	blob \| commitdiff \| raw \| diff to current
2012-08-11	Brian Norris	threads: trivial change	blob \| commitdiff \| raw \| diff to current
2012-08-08	Brian Norris	main, threads: improve comments regarding thread stepping	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Norris	fixup whitespace	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	move more configurables and add documentation	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	fix my todo comments so they appear in documentation	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Norris	pull in most of atomic header file	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Norris	update TODO's	blob \| commitdiff \| raw \| diff to current
2012-07-12	Brian Norris	Merge branch 'master' into brian	blob \| commitdiff \| raw \| diff to current
2012-07-11	Brian Norris	action / threads: add THREAD_START action at start...	blob \| commitdiff \| raw \| diff to current
2012-07-11	Brian Norris	threads: use constructor initializer list	blob \| commitdiff \| raw \| diff to current
2012-07-07	Brian Norris	Merge branch 'datarace'	blob \| commitdiff \| raw \| diff to current
2012-07-07	Brian Norris	threads: add per-thread "return" values for 'model...	blob \| commitdiff \| raw \| diff to current
2012-07-06	Brian Norris	trivial changes	blob \| commitdiff \| raw \| diff to current
2012-05-30	Subramanian Ganapathy	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-05-26	Brian Norris	threads: fixup stack allocation (snapshotting...)	blob \| commitdiff \| raw \| diff to current
2012-05-25	Brian Norris	more allocation fixes (use snapshotting)	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Norris	fix indentation + spacing, esp. for MEMALLOC macro	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Norris	Merge commit: branch 'work'	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Demsky	remove lines from other files	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Demsky	fix various problems with my 64-bit clean hack	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Demsky	fix code to be 64 bit clean	blob \| commitdiff \| raw \| diff to current
2012-05-18	Brian Demsky	merging stuff...made need to clean up some stuff.....	blob \| commitdiff \| raw \| diff to current
2012-05-09	Subramanian Ganapathy	Adding STL stuff and operator news of snapshot to model...	blob \| commitdiff \| raw \| diff to current
2012-05-08	Brian Norris	main/threads: remove excess headers	blob \| commitdiff \| raw \| diff to current
2012-05-08	Brian Norris	main: split main() (and related functions) into main.cc	blob \| commitdiff \| raw \| diff to current
2012-05-03	Brian Norris	threads: add parent info + get_parent() method	blob \| commitdiff \| raw \| diff to current
2012-05-03	Brian Norris	replace non-fatal error messages with ASSERT()'s	blob \| commitdiff \| raw \| diff to current
2012-05-02	Brian Norris	threads: don't call the userprogram interface for initi...	blob \| commitdiff \| raw \| diff to current
2012-04-27	Brian Norris	thread: remove dead Thread code	blob \| commitdiff \| raw \| diff to current
2012-04-26	Brian Norris	demote 'system_thread' to just 'system_context'	blob \| commitdiff \| raw \| diff to current
2012-04-26	Brian Norris	model: bugfix - reset the "current_action" after it...	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	threads: allocate Threads in via userMalloc()	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	common: introduce userMalloc() and userFree()	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	model: rename print_trace() -> print_summary(), fixup...	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	threads: cleanup inconsistencies in memory management	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	threads: set up Thread to be freed properly	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	threads: don't make direct call into scheduler	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	threads: save id within class Thread	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	threads: initialized Thread member variables	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	unify style for returning pointers	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	threads: prepare system to loop over many executions	blob \| commitdiff \| raw \| diff to current
2012-04-17	Brian Norris	rename threads_internal.h -> threads.h	blob \| commitdiff \| raw \| diff to current
2012-04-17	Brian Norris	threads/model: move switch_to_master from class Thread...	blob \| commitdiff \| raw \| diff to current
2012-04-16	Brian Norris	libthreads: split into libthreads and threads	blob \| commitdiff \| raw \| diff to current

C++11 memory model checker

RSS Atom