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

2012-07-06	Brian Norris	datarace: factor subtle clock-vector logic into a reusa...	commit \| commitdiff \| tree \| snapshot
2012-07-06	Brian Norris	datarace: remove EOL spaces	commit \| commitdiff \| tree \| snapshot
2012-07-06	Brian Norris	datarace/clockvector: switch 'clocks' to use 'unsigned...	commit \| commitdiff \| tree \| snapshot
2012-07-06	Brian Norris	clock: add modelclock_t typedef, use 'unsigned int'	commit \| commitdiff \| tree \| snapshot
2012-07-06	Brian Demsky	add forgetten file	commit \| commitdiff \| tree \| snapshot
2012-07-06	Brian Demsky	add support for datarace detection...	commit \| commitdiff \| tree \| snapshot
2012-07-03	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2012-07-03	Brian Norris	Merge branch 'brian'	commit \| commitdiff \| tree \| snapshot
2012-07-03	Subramanian...	Adding relevant comments for fork based implementation.	commit \| commitdiff \| tree \| snapshot
2012-07-03	Brian Norris	Makefile: compile *.cc separately	commit \| commitdiff \| tree \| snapshot
2012-07-03	Brian Norris	nodestack: revert may_read_from to a normal member...	commit \| commitdiff \| tree \| snapshot
2012-07-03	Brian Norris	action: add {get,set}_value(), assign default value	commit \| commitdiff \| tree \| snapshot
2012-06-25	Brian Norris	add documentation	commit \| commitdiff \| tree \| snapshot
2012-06-25	Brian Norris	nodestack: only create may_read_from sets for read...	commit \| commitdiff \| tree \| snapshot
2012-06-25	Brian Norris	nodestack: re-associate ModelAction/Node relationship	commit \| commitdiff \| tree \| snapshot
2012-06-25	Brian Norris	nodestack: add Node::get_parent() function	commit \| commitdiff \| tree \| snapshot
2012-06-21	Brian Norris	model: make print_list() into a static C function	commit \| commitdiff \| tree \| snapshot
2012-06-21	Subramanian...	Adding relevant comments for fork based implementation.	commit \| commitdiff \| tree \| snapshot
2012-06-21	Subramanian...	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2012-06-21	Brian Norris	model: make comment more accurate	commit \| commitdiff \| tree \| snapshot
2012-06-21	Brian Norris	action: add const qualifier	commit \| commitdiff \| tree \| snapshot
2012-06-21	Brian Norris	clockvector: add const qualifiers	commit \| commitdiff \| tree \| snapshot
2012-06-21	Brian Norris	clockvector: add documentation	commit \| commitdiff \| tree \| snapshot
2012-06-21	Brian Norris	Merge branch 'sandbox' (remove finalize())	commit \| commitdiff \| tree \| snapshot
2012-06-21	Brian Norris	snapshot: switch back to mprotect-based snapshotting	commit \| commitdiff \| tree \| snapshot
2012-06-21	Brian Norris	model: build up 'may_read_from' set	commit \| commitdiff \| tree \| snapshot
2012-06-21	Brian Norris	model: add build_reads_from_past() function	commit \| commitdiff \| tree \| snapshot
2012-06-21	Brian Norris	action: add happens_before() function	commit \| commitdiff \| tree \| snapshot
2012-06-21	Brian Norris	clockvector: fix 'happens_before', change name to ...	commit \| commitdiff \| tree \| snapshot
2012-06-21	Brian Norris	action: add 'get_cv()' accessor function	commit \| commitdiff \| tree \| snapshot
2012-06-21	Brian Norris	nodestack: add 'may_read_from' set	commit \| commitdiff \| tree \| snapshot
2012-06-19	Brian Norris	nodestack: don't perform linear search to check if...	commit \| commitdiff \| tree \| snapshot
2012-06-19	Brian Norris	action: add const qualifiers	commit \| commitdiff \| tree \| snapshot
2012-06-19	Brian Norris	action: replace condition check with ASSERT()	commit \| commitdiff \| tree \| snapshot
2012-06-19	Brian Norris	nodestack/model: refactor explore_action(), change...	commit \| commitdiff \| tree \| snapshot
2012-06-19	Brian Norris	nodestack: more documentation	commit \| commitdiff \| tree \| snapshot
2012-06-19	Brian Norris	cyclegraph: make this compile...	commit \| commitdiff \| tree \| snapshot
2012-06-18	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2012-06-18	Brian Demsky	builds	commit \| commitdiff \| tree \| snapshot
2012-06-17	Brian Demsky	add hashtable	commit \| commitdiff \| tree \| snapshot
2012-06-15	Brian Norris	Doxyfile: exclude malloc.c	commit \| commitdiff \| tree \| snapshot
2012-06-15	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2012-06-15	Brian Norris	fixup some doc wording	commit \| commitdiff \| tree \| snapshot
2012-06-15	Brian Norris	add more documentation	commit \| commitdiff \| tree \| snapshot
2012-06-15	Brian Demsky	subramanian lied when he said he fixed these...	commit \| commitdiff \| tree \| snapshot
2012-06-15	Brian Norris	Makefile: force `make docs' to depend on all source...	commit \| commitdiff \| tree \| snapshot
2012-06-14	Subramanian...	(snapshot) removing mbFinalize and usage of finalize	commit \| commitdiff \| tree \| snapshot
2012-06-14	Brian Norris	snapshot: refactor the fork-based stack initialization	commit \| commitdiff \| tree \| snapshot
2012-06-14	Brian Norris	snapshot: remove unused 'uc_link' context	commit \| commitdiff \| tree \| snapshot
2012-06-14	Brian Norris	snapshotimp: reindent file	commit \| commitdiff \| tree \| snapshot
2012-06-14	Brian Norris	snapshot: don't put entire if (...) on one line	commit \| commitdiff \| tree \| snapshot
2012-06-14	Brian Norris	snapshot: define macros with type size_t	commit \| commitdiff \| tree \| snapshot
2012-06-14	Brian Norris	snapshot: use (void ) instead of (char )	commit \| commitdiff \| tree \| snapshot
2012-06-14	Brian Norris	snapshot: rearrange #if a little	commit \| commitdiff \| tree \| snapshot
2012-06-14	Brian Norris	snapshot: remove extra blank lines	commit \| commitdiff \| tree \| snapshot
2012-06-14	Brian Norris	snapshot: make other file-scope functions static	commit \| commitdiff \| tree \| snapshot
2012-06-14	Brian Norris	snapshot: don't export page-aligning functions	commit \| commitdiff \| tree \| snapshot
2012-06-14	Brian Norris	rename struct Snapshot_t => struct Snapshot	commit \| commitdiff \| tree \| snapshot
2012-06-14	Brian Norris	snapshot: don't declare sTheRecord in both #if and...	commit \| commitdiff \| tree \| snapshot
2012-06-14	Brian Norris	snapshot: remove 'extern "C"' block	commit \| commitdiff \| tree \| snapshot
2012-06-14	Brian Norris	snapshot-interface: don't export SnapshotGlobalSegments()	commit \| commitdiff \| tree \| snapshot
2012-06-14	Brian Norris	snapshot: replace DumpIntoLog() with lighter-weight...	commit \| commitdiff \| tree \| snapshot
2012-06-14	Brian Norris	snapshot: move comments to the right place	commit \| commitdiff \| tree \| snapshot
2012-06-14	Subramanian...	Removing comment asking to fix fork(), has been fixed now	commit \| commitdiff \| tree \| snapshot
2012-06-14	Subramanian...	fixing calloc(), fix Makefile	commit \| commitdiff \| tree \| snapshot
2012-06-07	Brian Norris	libatomic: perform write before context switch	commit \| commitdiff \| tree \| snapshot
2012-06-06	Brian Norris	.gitignore: ignore docs directory	commit \| commitdiff \| tree \| snapshot
2012-06-06	Brian Norris	action: fix some comments	commit \| commitdiff \| tree \| snapshot
2012-06-06	Brian Norris	Makefile: have `mrclean' depend on `clean'	commit \| commitdiff \| tree \| snapshot
2012-06-06	Brian Demsky	more comments	commit \| commitdiff \| tree \| snapshot
2012-06-06	Brian Demsky	more doc changes	commit \| commitdiff \| tree \| snapshot
2012-06-06	Brian Demsky	more documentation	commit \| commitdiff \| tree \| snapshot
2012-06-06	Brian Demsky	1) Add more comments.	commit \| commitdiff \| tree \| snapshot
2012-06-06	Brian Demsky	more documentation	commit \| commitdiff \| tree \| snapshot
2012-06-06	Brian Demsky	more docs	commit \| commitdiff \| tree \| snapshot
2012-06-06	Brian Demsky	add support for docs	commit \| commitdiff \| tree \| snapshot
2012-06-05	Brian Norris	snapshot: zero out entire siginfo_t	commit \| commitdiff \| tree \| snapshot
2012-06-04	Brian Demsky	Changes needed to run on OS X... Example runs on my...	commit \| commitdiff \| tree \| snapshot
2012-06-04	Brian Demsky	hack some stuff towards running on mac... unrelated...	commit \| commitdiff \| tree \| snapshot
2012-05-31	Brian Norris	snapshot: remove duplicate definition of finalize()	commit \| commitdiff \| tree \| snapshot
2012-05-31	Brian Norris	use EXIT_SUCCESS and EXIT_FAILURE	commit \| commitdiff \| tree \| snapshot
2012-05-31	Brian Norris	userprog: use atomics allocated on "heap"	commit \| commitdiff \| tree \| snapshot
2012-05-31	Subramanian...	Adding fixes for the fork based implementation, also...	commit \| commitdiff \| tree \| snapshot
2012-05-30	Subramanian...	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2012-05-30	Brian Demsky	check in message	commit \| commitdiff \| tree \| snapshot
2012-05-30	Brian Norris	snapshot-interface: replace Subramanian's /proc/*/maps...	commit \| commitdiff \| tree \| snapshot
2012-05-30	Brian Demsky	fix bug...this is another evil one...	commit \| commitdiff \| tree \| snapshot
2012-05-30	Brian Norris	node: do not use static member variable	commit \| commitdiff \| tree \| snapshot
2012-05-30	Brian Norris	snapshot: move declarations to the right interface...	commit \| commitdiff \| tree \| snapshot
2012-05-30	Brian Norris	snapshot: rename MyFuncPtr to VoidFuncPtr	commit \| commitdiff \| tree \| snapshot
2012-05-30	Brian Norris	snapshot: rename USE_CHECKPOINTING to USE_MPROTECT_SNAPSHOT	commit \| commitdiff \| tree \| snapshot
2012-05-29	Brian Norris	snapshot-interface: don't redefine PAGESIZE	commit \| commitdiff \| tree \| snapshot
2012-05-29	Brian Norris	snapshot-interface: bugfix - fixup array indeces	commit \| commitdiff \| tree \| snapshot
2012-05-29	Brian Norris	nodestack: push 'create_cv' functionality responsibilit...	commit \| commitdiff \| tree \| snapshot
2012-05-29	Brian Norris	model: thread creation establishes synchronization	commit \| commitdiff \| tree \| snapshot
2012-05-29	Brian Norris	threads: add 'creation' information	commit \| commitdiff \| tree \| snapshot
2012-05-29	Brian Norris	libthreads: pass 'class Thread' object as ModelAction...	commit \| commitdiff \| tree \| snapshot
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
next

C++11 memory model checker

RSS Atom