Programming Languages Research Group: Git - cdsspec-compiler.git/shortlog

projects / cdsspec-compiler.git / shortlog

2012-07-31	Brian Norris	model: refactor "infeasible" printing	commit \| commitdiff \| tree \| snapshot
2012-07-31	Brian Demsky	print less stuff	commit \| commitdiff \| tree \| snapshot
2012-07-31	Brian Demsky	model: add support for modification orders	commit \| commitdiff \| tree \| snapshot
2012-07-31	Brian Norris	cyclegraph: bugfix - graph reachability was reversed	commit \| commitdiff \| tree \| snapshot
2012-07-31	Brian Norris	cyclegraph: add destructor, use 'const' appropriately	commit \| commitdiff \| tree \| snapshot
2012-07-31	Brian Norris	nodestack: document pop_restofstack()	commit \| commitdiff \| tree \| snapshot
2012-07-31	Brian Demsky	Add basic reads from support	commit \| commitdiff \| tree \| snapshot
2012-07-17	Brian Demsky	Make stack popping explicit.	commit \| commitdiff \| tree \| snapshot
2012-07-17	Brian Norris	nodestack: re-insert falsely-declared "dead code"	commit \| commitdiff \| tree \| snapshot
2012-07-17	Brian Norris	config: automatically determine BIT48	commit \| commitdiff \| tree \| snapshot
2012-07-17	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2012-07-17	Brian Demsky	remove dead code... loop entrance condition is i<backt...	commit \| commitdiff \| tree \| snapshot
2012-07-17	Brian Norris	action: fix uint64_t printf warning	commit \| commitdiff \| tree \| snapshot
2012-07-16	Brian Demsky	no need to store into the object field... this will...	commit \| commitdiff \| tree \| snapshot
2012-07-16	Brian Demsky	really should be using a type that is big enough for...	commit \| commitdiff \| tree \| snapshot
2012-07-13	Brian Demsky	the initialized logic appears to be wrong... release...	commit \| commitdiff \| tree \| snapshot
2012-07-13	Brian Norris	datarace: fixup, properly document BIT48	commit \| commitdiff \| tree \| snapshot
2012-07-13	Brian Norris	model: remove unused #include	commit \| commitdiff \| tree \| snapshot
2012-07-13	Brian Norris	libthreads: thrd_join() always return 0	commit \| commitdiff \| tree \| snapshot
2012-07-13	Brian Norris	model: add documentation	commit \| commitdiff \| tree \| snapshot
2012-07-13	Brian Norris	model: fixup "initialized" check in build_reads_from_past()	commit \| commitdiff \| tree \| snapshot
2012-07-13	Brian Norris	model: only include the most recent seq_cst write in...	commit \| commitdiff \| tree \| snapshot
2012-07-13	Brian Norris	model: add ModelChecker::get_last_seq_cst()	commit \| commitdiff \| tree \| snapshot
2012-07-12	Brian Norris	model: improve ModelChecker::get_last_conflict() search	commit \| commitdiff \| tree \| snapshot
2012-07-12	Brian Norris	model: add per-object action lists (obj_map)	commit \| commitdiff \| tree \| snapshot
2012-07-12	Brian Norris	reformat some doxygen comments, remove newlines	commit \| commitdiff \| tree \| snapshot
2012-07-12	Brian Norris	model: rearrange switch block, handle RMW	commit \| commitdiff \| tree \| snapshot
2012-07-12	Brian Norris	Merge branch 'master' into brian	commit \| commitdiff \| tree \| snapshot
2012-07-12	Brian Norris	model: bugfix - resize thrd_last_action when adding...	commit \| commitdiff \| tree \| snapshot
2012-07-12	Brian Norris	model: factor out 'tid' calculation	commit \| commitdiff \| tree \| snapshot
2012-07-11	Brian Norris	main: make function static	commit \| commitdiff \| tree \| snapshot
2012-07-11	Brian Norris	action / threads: add THREAD_START action at start...	commit \| commitdiff \| tree \| snapshot
2012-07-11	Brian Norris	threads: use constructor initializer list	commit \| commitdiff \| tree \| snapshot
2012-07-11	Brian Norris	action: add 'reads_from' member variable	commit \| commitdiff \| tree \| snapshot
2012-07-11	Brian Norris	action: remove unused ModelAction::set_value()	commit \| commitdiff \| tree \| snapshot
2012-07-11	Brian Norris	model: release/acquire synchronization	commit \| commitdiff \| tree \| snapshot
2012-07-11	Brian Norris	clockvector: add 'const', fix comments in ClockVector...	commit \| commitdiff \| tree \| snapshot
2012-07-11	Brian Norris	remove EOL spaces, fix indentation	commit \| commitdiff \| tree \| snapshot
2012-07-11	Brian Demsky	bug	commit \| commitdiff \| tree \| snapshot
2012-07-11	Brian Demsky	documentation	commit \| commitdiff \| tree \| snapshot
2012-07-10	Brian Demsky	fix bug	commit \| commitdiff \| tree \| snapshot
2012-07-10	Brian Demsky	hook up the race detector...	commit \| commitdiff \| tree \| snapshot
2012-07-07	Brian Norris	Merge branch 'datarace'	commit \| commitdiff \| tree \| snapshot
2012-07-07	Brian Norris	datarace: fix build error	commit \| commitdiff \| tree \| snapshot
2012-07-07	Brian Demsky	changes	commit \| commitdiff \| tree \| snapshot
2012-07-07	Brian Norris	libatomic: atomic_load() - use proper reads_from value	commit \| commitdiff \| tree \| snapshot
2012-07-07	Brian Norris	model: set reads_from "return value" in model-checker	commit \| commitdiff \| tree \| snapshot
2012-07-07	Brian Norris	nodestack: add stub 'get_next_read_from()' function	commit \| commitdiff \| tree \| snapshot
2012-07-07	Brian Norris	document some enumerated types	commit \| commitdiff \| tree \| snapshot
2012-07-07	Brian Norris	model: detect uninitialized atomic reads	commit \| commitdiff \| tree \| snapshot
2012-07-07	Brian Norris	nodestack: add print_may_read_from()	commit \| commitdiff \| tree \| snapshot
2012-07-07	Brian Norris	model: improve build_reads_from_past() comment	commit \| commitdiff \| tree \| snapshot
2012-07-07	Brian Norris	action: use constructor initializer list	commit \| commitdiff \| tree \| snapshot
2012-07-07	Brian Norris	action: support ATOMIC_INIT	commit \| commitdiff \| tree \| snapshot
2012-07-07	Brian Norris	threads: add per-thread "return" values for 'model...	commit \| commitdiff \| tree \| snapshot
2012-07-07	Brian Norris	nodestack: build 'may_read_from' out of constant ModelA...	commit \| commitdiff \| tree \| snapshot
2012-07-06	Brian Norris	nodestack: action_set_t: replace STL 'set' with 'list'	commit \| commitdiff \| tree \| snapshot
2012-07-06	Brian Norris	trivial changes	commit \| commitdiff \| tree \| snapshot
2012-07-06	Brian Norris	add more const qualifiers	commit \| commitdiff \| tree \| snapshot
2012-07-06	Brian Norris	model: make set_current_action() private	commit \| commitdiff \| tree \| snapshot
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
next

This is the public repository for the CDSSpec specification compiler.

RSS Atom