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

2012-05-28	Brian Norris	model: move bookkeeping to add_action_to_lists()	commit \| commitdiff \| tree \| snapshot
2012-05-28	Brian Norris	model: set 'last action in thread' as an action's parent	commit \| commitdiff \| tree \| snapshot
2012-05-28	Brian Norris	model: log the last action in each thread	commit \| commitdiff \| tree \| snapshot
2012-05-28	Brian Norris	nodestack: compute parent ModelAction externally	commit \| commitdiff \| tree \| snapshot
2012-05-28	Brian Norris	clockvector: fixup initialization	commit \| commitdiff \| tree \| snapshot
2012-05-28	Brian Norris	nodestack: construct Node with 'number of threads'...	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	model: add obj_thrd_map	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	Makefile: add 'make debug'	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	action: enhance print() message	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	nodestack: create ModelAction clock vectors	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	action: add create_cv() and read_from()	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	clockvector: bugfix - fixup vector initialization,...	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	model: add get_num_threads()	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	clockvector: fixup print message	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	clockvector: add print() method	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	action: add clock vector field, destructor	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	action: use proper location comparison	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	clockvector: add snapshotting new/delete operators	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	rename snapshotStack -> SnapshotStack	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	snapshot: remove #include, use snapshot_id typedef	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	snapshot-interface: cleanup interface header	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	model: remove scheduler comment	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	model: don't clear thread_map (snapshot)	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	model: don't reset action_trace manually	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	main: take/revert snapshots	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	model: make thread_map heap allocated	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	action: add all action_lists to snapshot...	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	common: remove unneeded macros/includes	commit \| commitdiff \| tree \| snapshot
2012-05-26	Brian Norris	threads: fixup stack allocation (snapshotting...)	commit \| commitdiff \| tree \| snapshot
2012-05-25	Brian Norris	snapshot: remove time information	commit \| commitdiff \| tree \| snapshot
2012-05-25	Brian Norris	snapshot: fix indentation	commit \| commitdiff \| tree \| snapshot
2012-05-25	Brian Norris	snapshot: use %p for printing pointers	commit \| commitdiff \| tree \| snapshot
2012-05-25	Brian Norris	more allocation fixes (use snapshotting)	commit \| commitdiff \| tree \| snapshot
2012-05-25	Brian Norris	nodestack: bugfix - fixup allocators for vectors	commit \| commitdiff \| tree \| snapshot
2012-05-25	Brian Norris	add more classes to snapshotting region	commit \| commitdiff \| tree \| snapshot
2012-05-25	Brian Norris	mymemory: use the right *&^% allocator!!	commit \| commitdiff \| tree \| snapshot
2012-05-24	Brian Norris	snapshot: fix EOL spaces	commit \| commitdiff \| tree \| snapshot
2012-05-24	Brian Demsky	wow, this is a nasty bug...	commit \| commitdiff \| tree \| snapshot
2012-05-24	Brian Demsky	fix one segfault bug...something is still strange,...	commit \| commitdiff \| tree \| snapshot
2012-05-24	Brian Demsky	factor page alignment into function call...place near...	commit \| commitdiff \| tree \| snapshot
2012-05-24	Brian Demsky	fix page alignment issue...	commit \| commitdiff \| tree \| snapshot
2012-05-24	Brian Norris	snapshot: use perror() on failed library calls	commit \| commitdiff \| tree \| snapshot
2012-05-24	Brian Norris	mymemory: define the "opposite" of MEMALLOC	commit \| commitdiff \| tree \| snapshot
2012-05-24	Brian Norris	mymemory: include some spacing	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	fixup EOL whitespace	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	snapshot: use 'SSDEBUG', not 'DEBUG'	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	model: remove incorrect #undef	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	userprog: use modulo	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	libthreads: fix thrd_create() to use typedef'd start_ro...	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	fix indentation + spacing, esp. for MEMALLOC macro	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	mymemory: fix indentation, spacing	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	nodestack: allocate from "mymemory" region	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	Merge commit: branch 'work'	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	snapshot: remove references to libmymemory.so	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	snapshot: move local defines after #includes	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	main: clear out redundant comments	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	common: disable debugging	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	run.sh: provide gdb option	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	Makefile: only build a single shared library	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	Makefile: clean up Makefile	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	Makfile: remove MEMCPPFLAGS, more uniform command format	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Demsky	remove lines from other files	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Demsky	Found new way to fix emacs issue.. There are directory...	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Demsky	fix various problems with my 64-bit clean hack	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Demsky	fix code to be 64 bit clean	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Demsky	switch back to norris style spacing in changed files	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	main: what are these variables for? (subramanian...)	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	run.sh: don't touch my run script subramanian	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	Makfile: fix linking error + remove EOL whitespace	commit \| commitdiff \| tree \| snapshot
2012-05-21	Brian Norris	.gitignore: fixup bad merge step	commit \| commitdiff \| tree \| snapshot
2012-05-19	Brian Demsky	remove unused #define	commit \| commitdiff \| tree \| snapshot
2012-05-19	Brian Demsky	my changes	commit \| commitdiff \| tree \| snapshot
2012-05-19	Brian Demsky	let us set the size of the heap in a sane way	commit \| commitdiff \| tree \| snapshot
2012-05-19	Brian Demsky	setup main wrapper and then call into norris code	commit \| commitdiff \| tree \| snapshot
2012-05-19	Brian Demsky	get rid of redundant mallocs	commit \| commitdiff \| tree \| snapshot
2012-05-18	Brian Demsky	transfer stuff	commit \| commitdiff \| tree \| snapshot
2012-05-18	Brian Demsky	makefile	commit \| commitdiff \| tree \| snapshot
2012-05-18	Brian Demsky	At least everything compiles now... Subramanian's...	commit \| commitdiff \| tree \| snapshot
2012-05-18	Brian Demsky	merging stuff...made need to clean up some stuff.....	commit \| commitdiff \| tree \| snapshot
2012-05-15	Brian Demsky	fix this stuff...	commit \| commitdiff \| tree \| snapshot
2012-05-15	Brian Norris	action: neuter the "same_var" function for now...	commit \| commitdiff \| tree \| snapshot
2012-05-15	Brian Norris	model: remove free_action_list() function	commit \| commitdiff \| tree \| snapshot
2012-05-15	Brian Norris	model: remove class Backtrack	commit \| commitdiff \| tree \| snapshot
2012-05-15	Brian Norris	tree: kill class TreeNode	commit \| commitdiff \| tree \| snapshot
2012-05-15	Brian Norris	model: replace TreeNode with NodeStack	commit \| commitdiff \| tree \| snapshot
2012-05-15	Brian Norris	userprog: tweak test program to use simple loads/stores	commit \| commitdiff \| tree \| snapshot
2012-05-15	Brian Norris	libatomic: place the proper read-value in 'atomic_load...	commit \| commitdiff \| tree \| snapshot
2012-05-15	Brian Demsky	don't check in useless files	commit \| commitdiff \| tree \| snapshot
2012-05-15	Brian Norris	librace: actually compute the loads and stores	commit \| commitdiff \| tree \| snapshot
2012-05-15	Subramanian...	Defining the interfaces to add various regions to snapshot	commit \| commitdiff \| tree \| snapshot
2012-05-14	Brian Norris	action: add get_node() accessor	commit \| commitdiff \| tree \| snapshot
2012-05-14	Brian Norris	nodestack: remove unnecessary conditional	commit \| commitdiff \| tree \| snapshot
2012-05-14	Brian Norris	model: merge advance_backtracking_state() and get_next_...	commit \| commitdiff \| tree \| snapshot
2012-05-14	Brian Norris	model: rename check_current_action() local variables	commit \| commitdiff \| tree \| snapshot
2012-05-14	Brian Norris	action: add comparison operator for ModelAction	commit \| commitdiff \| tree \| snapshot
2012-05-14	Brian Norris	nodestack: add class NodeStack and class Node	commit \| commitdiff \| tree \| snapshot
2012-05-14	Brian Norris	.gitignore: add *~ files	commit \| commitdiff \| tree \| snapshot
2012-05-14	Brian Norris	model: change constructor assignments to initializer...	commit \| commitdiff \| tree \| snapshot
2012-05-10	Subramanian...	Initializing variable which contains global snapshottin...	commit \| commitdiff \| tree \| snapshot
2012-05-10	Subramanian...	Adding support to return global segments of the process...	commit \| commitdiff \| tree \| snapshot
next

C++11 memory model checker

RSS Atom