Programming Languages Research Group: Git

2013-04-23	Brian Norris	Merge remote-tracking branch 'private/master'	commit \| commitdiff \| tree
2013-04-23	Brian Norris	README: update text	commit \| commitdiff \| tree
2013-04-19	Brian Norris	snapshot-interface: bugfix - terminate string from...	commit \| commitdiff \| tree
2013-04-19	Brian Norris	snapshot: debugging - show the snapshot regions that...	commit \| commitdiff \| tree
2013-04-19	Brian Norris	snapshot-interface: don't snapshot libmodel.so	commit \| commitdiff \| tree
2013-04-19	Brian Norris	snapshot: use perror()	commit \| commitdiff \| tree
2013-04-19	Brian Norris	main: support long options, improve help message	commit \| commitdiff \| tree
2013-04-19	Brian Norris	execution: improve documentation	commit \| commitdiff \| tree
2013-04-19	Brian Norris	execution: improve yield-blocking structure	commit \| commitdiff \| tree
2013-04-19	Brian Norris	TMP: improve debugging, remove print_trace()	commit \| commitdiff \| tree
2013-04-18	Brian Norris	datarace: bugfix - use proper multiple-inclusion guard	commit \| commitdiff \| tree
2013-04-18	Brian Norris	stacktrace: remove usage of FILE in stacktrace	commit \| commitdiff \| tree
2013-04-17	Brian Norris	datarace: bugfix - don't implicitly allocate global...	commit \| commitdiff \| tree
2013-04-17	Brian Norris	datarace: don't export unrealized race vector	commit \| commitdiff \| tree
2013-04-17	Brian Norris	execution: bugfix - no action "conflicts" with itself	commit \| commitdiff \| tree
2013-04-17	Brian Norris	execution: bugfix - backtrack seq-cst fences properly	commit \| commitdiff \| tree
2013-04-17	Brian Norris	execution: correct comment on check_current_action()	commit \| commitdiff \| tree
2013-04-16	Brian Norris	nodestack: localize the model-checker parameters	commit \| commitdiff \| tree
2013-04-16	Brian Norris	model: privatize ModelChecker::get_num_threads()	commit \| commitdiff \| tree
2013-04-16	Brian Norris	nodestack: register ModelExecution class w/in NodeStack	commit \| commitdiff \| tree
2013-04-16	Brian Norris	promise: add max_available_thread_idx() interface	commit \| commitdiff \| tree
2013-04-16	Brian Norris	clockvector: don't use global get_num_threads()	commit \| commitdiff \| tree
2013-04-16	Brian Norris	model: remove leftover junk	commit \| commitdiff \| tree
2013-04-16	Brian Norris	execution: embed obj_map directly in class	commit \| commitdiff \| tree
2013-04-16	Brian Norris	hashtable: update documentation	commit \| commitdiff \| tree
2013-04-16	Brian Norris	hashtable: enforce, document non-zero keys	commit \| commitdiff \| tree
2013-04-16	Brian Norris	execution: convert HashTable to SnapVector	commit \| commitdiff \| tree
2013-04-16	Brian Norris	action: bugfix - use non-zero fence "location"	commit \| commitdiff \| tree
2013-04-16	Brian Norris	execution: embed action_list as full member	commit \| commitdiff \| tree
2013-04-16	Brian Norris	execution: add const	commit \| commitdiff \| tree
2013-04-16	Brian Norris	execution: embed more data structures directly in class	commit \| commitdiff \| tree
2013-04-16	Brian Norris	execution: embed snapshotted data structures in class	commit \| commitdiff \| tree
2013-04-16	Brian Norris	execution: make structure snapshotting	commit \| commitdiff \| tree
2013-04-16	Brian Norris	execution: move execution number back to ModelChecker...	commit \| commitdiff \| tree
2013-04-16	Brian Norris	clean out includes, etc.	commit \| commitdiff \| tree
2013-04-16	Brian Norris	model: embed the trace_analyses in the class	commit \| commitdiff \| tree
2013-04-16	Brian Norris	action: add <stdlib>	commit \| commitdiff \| tree
2013-04-16	Brian Norris	scanalysis: allocate structures as true members of...	commit \| commitdiff \| tree
2013-04-16	Brian Norris	scanalysis: fixup spacing	commit \| commitdiff \| tree
2013-04-16	Brian Norris	Merge cleanup branch	commit \| commitdiff \| tree
2013-04-16	Brian Norris	schedule: drop the ModelChecker::check_promises_thread_disab...	commit \| commitdiff \| tree
2013-04-16	Brian Norris	model / threads: remove global get_next_id() interface	commit \| commitdiff \| tree
2013-04-16	Brian Norris	promise: get reference to ModelExecution	commit \| commitdiff \| tree
2013-04-16	Brian Norris	scanalysis: use ModelExecution interfaces	commit \| commitdiff \| tree
2013-04-16	Brian Norris	scanalysis: install ModelExecution object in the analysis	commit \| commitdiff \| tree
2013-04-16	Brian Norris	execution: add 'const'	commit \| commitdiff \| tree
2013-04-16	Brian Norris	model: cleanup a few more interfaces	commit \| commitdiff \| tree
2013-04-16	Brian Norris	model: add get_execution() interface	commit \| commitdiff \| tree
2013-04-16	Brian Norris	BROKEN: restructure much of ModelChecker as ModelExecution...	commit \| commitdiff \| tree
2013-04-16	Brian Norris	datarace: simplify raceCheck{Read,Write}() function...	commit \| commitdiff \| tree
2013-04-16	Brian Norris	datarace: make globals static	commit \| commitdiff \| tree
2013-04-16	Brian Norris	model: drop public get_current_node() interface	commit \| commitdiff \| tree
2013-04-16	Brian Norris	model: remove public check_promises() interface	commit \| commitdiff \| tree
2013-04-16	Brian Norris	model: add synchronize() function	commit \| commitdiff \| tree
2013-04-16	Brian Norris	common: drop model_print_summary()	commit \| commitdiff \| tree
2013-04-16	Brian Norris	promise: add Promise::get_index function	commit \| commitdiff \| tree
2013-04-16	Brian Norris	action: we don't need special cases for lock/join anymore	commit \| commitdiff \| tree
2013-04-16	Brian Norris	move license to LICENSE file	commit \| commitdiff \| tree
2013-04-16	Brian Norris	Merge cleanup code from Brian N.	commit \| commitdiff \| tree
2013-04-16	Brian Norris	traceanalysis: rename to remove '_'	commit \| commitdiff \| tree
2013-04-16	Brian Norris	bugmessage: move struct to header file	commit \| commitdiff \| tree
2013-04-15	Brian Norris	params: move model_params to header file	commit \| commitdiff \| tree
2013-04-15	Brian Norris	model: add too_many_steps()	commit \| commitdiff \| tree
2013-04-15	Brian Norris	model: fixup whitespace	commit \| commitdiff \| tree
2013-04-15	Brian Norris	scanalysis: fix warning	commit \| commitdiff \| tree
2013-04-15	Brian Norris	scanalysis: remove whitespace	commit \| commitdiff \| tree
2013-04-11	Brian Norris	improve documentation + Doxygen formatting	commit \| commitdiff \| tree
2013-04-11	Brian Norris	action: refactor, move VALUE_TRY{SUCCESS,FAILED} out...	commit \| commitdiff \| tree
2013-04-11	Brian Norris	cyclegraph: kill unused promise_list_t type	commit \| commitdiff \| tree
2013-04-06	Brian Norris	snapshot: cleanup/document much of fork-based snapshotting	commit \| commitdiff \| tree
2013-04-05	Brian Norris	snapshot: use sizeof(*fork_snap)	commit \| commitdiff \| tree
2013-04-05	Brian Norris	model: remove DEBUG action print	commit \| commitdiff \| tree
2013-04-05	Brian Norris	snapshot: clean up fork-based error handling	commit \| commitdiff \| tree
2013-04-05	Brian Norris	action: correct RF capitalization	commit \| commitdiff \| tree
2013-04-05	Brian Norris	model: deadlock: print the culprit thread, when known	commit \| commitdiff \| tree
2013-04-05	Brian Norris	datarace: use variable-argument bug-printing	commit \| commitdiff \| tree
2013-04-05	Brian Norris	model: add variable arguments for bug messages	commit \| commitdiff \| tree
2013-04-05	Brian Norris	model: proactively build/prune is_enabled() set	commit \| commitdiff \| tree
2013-04-05	Brian Norris	model: pull thread control logic out of take_step(...	commit \| commitdiff \| tree
2013-04-05	Brian Norris	snapshot: kill useless macro	commit \| commitdiff \| tree
2013-04-04	Brian Norris	context: move Mac swapcontext() to separate compilation...	commit \| commitdiff \| tree
2013-04-04	Brian Norris	common: improve redirect_output() error handling	commit \| commitdiff \| tree
2013-04-04	Brian Norris	common: make model_print() use OS file descriptor,...	commit \| commitdiff \| tree
2013-04-04	Brian Norris	action: include reads-from-promise in HASH calculations	commit \| commitdiff \| tree
2013-04-04	Brian Norris	test: insanesync: pointer types	commit \| commitdiff \| tree
2013-04-04	Brian Norris	model: note the DPOR addendum	commit \| commitdiff \| tree
2013-04-04	Brian Norris	model: use get_thread() helper	commit \| commitdiff \| tree
2013-04-04	Brian Norris	swapcontext() fix for Mac OSX	commit \| commitdiff \| tree
2013-04-03	Brian Norris	threads: remove wait_list	commit \| commitdiff \| tree
2013-04-03	Brian Norris	model: use get_mutex() and get_thread_operand() helpers	commit \| commitdiff \| tree
2013-04-03	Brian Norris	model: kill lock_waiters_map	commit \| commitdiff \| tree
2013-04-03	Brian Norris	model: merge duplicated code for WAIT and UNLOCK	commit \| commitdiff \| tree
2013-04-03	Brian Norris	test: mutextest: add thread yield point	commit \| commitdiff \| tree
2013-04-03	Brian Norris	model: get_mutex() for locating the lock map	commit \| commitdiff \| tree
2013-04-02	Brian Norris	action: add ModelAction::is_thread_join() helper	commit \| commitdiff \| tree
2013-04-02	Brian Norris	mymemory: fix compiling with !USE_MPROTECT_SNAPSHOT	commit \| commitdiff \| tree
2013-03-28	Brian Norris	nodestack: move "behaviors" increment all into Node...	commit \| commitdiff \| tree
2013-03-28	Brian Norris	nodestack: regroup some code	commit \| commitdiff \| tree
2013-03-27	Brian Norris	threads: move circular wait check into Threads::is_waiting_on	commit \| commitdiff \| tree
2013-03-22	Brian Demsky	fix mistake in promises may allow code... need to...	commit \| commitdiff \| tree
next

C++11 memory model checker

RSS Atom