Programming Languages Research Group: Git

2012-05-15	Brian Norris	userprog: tweak test program to use simple loads/stores	commit \| commitdiff \| tree
2012-05-15	Brian Norris	libatomic: place the proper read-value in 'atomic_load...	commit \| commitdiff \| tree
2012-05-15	Brian Norris	librace: actually compute the loads and stores	commit \| commitdiff \| tree
2012-05-14	Brian Norris	action: add get_node() accessor	commit \| commitdiff \| tree
2012-05-14	Brian Norris	nodestack: remove unnecessary conditional	commit \| commitdiff \| tree
2012-05-14	Brian Norris	model: merge advance_backtracking_state() and get_next_repla...	commit \| commitdiff \| tree
2012-05-14	Brian Norris	model: rename check_current_action() local variables	commit \| commitdiff \| tree
2012-05-14	Brian Norris	action: add comparison operator for ModelAction	commit \| commitdiff \| tree
2012-05-14	Brian Norris	nodestack: add class NodeStack and class Node	commit \| commitdiff \| tree
2012-05-14	Brian Norris	.gitignore: add *~ files	commit \| commitdiff \| tree
2012-05-14	Brian Norris	model: change constructor assignments to initializer...	commit \| commitdiff \| tree
2012-05-09	Brian Norris	action: rename 'node' members to 'treenode'	commit \| commitdiff \| tree
2012-05-08	Brian Norris	model: remove unnecessary "this->"	commit \| commitdiff \| tree
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
next

C++11 memory model checker

RSS Atom