Programming Languages Research Group: Git

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 Norris	main: adjust defaults again	commit \| commitdiff \| tree
2013-03-22	Brian Norris	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2013-03-22	Brian Norris	main: change default 'future delay' for promise expiration	commit \| commitdiff \| tree
2013-03-22	Brian Norris	model: re-check pending future values whenever a promise...	commit \| commitdiff \| tree
2013-03-21	Brian Norris	model: bugfix - send future values more eagerly	commit \| commitdiff \| tree
2013-03-21	Brian Norris	model: refactor add_future_value, add documentation	commit \| commitdiff \| tree
2013-03-21	Brian Norris	model: add 'const'	commit \| commitdiff \| tree
2013-03-21	Brian Norris	model: rename PendingFutureValue 'act' to 'reader'	commit \| commitdiff \| tree
2013-03-21	Brian Norris	model: rework the resolve-promise interface	commit \| commitdiff \| tree
2013-03-20	Brian Norris	cyclegraph: propagate RMW atomicity edges down the...	commit \| commitdiff \| tree
2013-03-19	Brian Norris	model: note how we support seq-cst fences	commit \| commitdiff \| tree
2013-03-15	Brian Norris	test: rmwprog: add MODEL_ASSERT	commit \| commitdiff \| tree
2013-03-12	Brian Norris	model: bugfix - missing SC mo_graph edge	commit \| commitdiff \| tree
2013-03-12	Brian Norris	model: refactor r_modification_order 'act != curr'...	commit \| commitdiff \| tree
2013-03-09	Brian Norris	mymemory: enforce that user allocations come from user...	commit \| commitdiff \| tree
2013-03-09	Brian Norris	mymemory, threads: add allocator specifically for Thread	commit \| commitdiff \| tree
2013-03-09	Brian Norris	model: privatize some thread functions	commit \| commitdiff \| tree
2013-03-09	Brian Norris	litmus: wrc: add macro for memory ordering	commit \| commitdiff \| tree
next

C++11 memory model checker

RSS Atom