Programming Languages Research Group: Git

2013-01-24	Brian Norris	future_value: add thread ID parameter	commit \| commitdiff \| tree
2013-01-24	Brian Norris	nodestack: pass 'struct future_value' to add_future_value()	commit \| commitdiff \| tree
2013-01-24	Brian Norris	model: add const to get_thread(ModelAction *act)	commit \| commitdiff \| tree
2013-01-24	Brian Norris	model: fixup indentation, spelling in comment	commit \| commitdiff \| tree
2013-01-24	Brian Norris	model: style	commit \| commitdiff \| tree
2013-01-24	Brian Norris	model: remove local variable	commit \| commitdiff \| tree
2013-01-23	Brian Norris	promise: SnapshotAlloc for vector	commit \| commitdiff \| tree
2013-01-23	Brian Norris	promise: refactor has_failed()	commit \| commitdiff \| tree
2013-01-23	Brian Norris	promise: move thread_is_eliminated()	commit \| commitdiff \| tree
2013-01-23	Brian Norris	promise: rename has_sync_thread() -> thread_is_eliminated()	commit \| commitdiff \| tree
2013-01-23	Brian Norris	promise: rename check_promise() -> has_failed()	commit \| commitdiff \| tree
2013-01-23	Brian Norris	promise: refactor eliminate_thread()/check_promise()	commit \| commitdiff \| tree
2013-01-23	Brian Norris	promise: rename increment_threads() -> eliminate_thread()	commit \| commitdiff \| tree
2013-01-23	Brian Norris	nodestack: add const	commit \| commitdiff \| tree
2013-01-23	Brian Norris	promise: construct with a 'future_value' struct	commit \| commitdiff \| tree
2013-01-23	Brian Norris	nodestack/promise: move future_value struct, update...	commit \| commitdiff \| tree
2013-01-23	Brian Norris	nodestack: pass writer ModelAction to add_future_value()	commit \| commitdiff \| tree
2013-01-23	Brian Norris	nodestack: eliminate get_future_value_expiration()	commit \| commitdiff \| tree
2013-01-23	Brian Norris	nodestack: remove extra blank lines	commit \| commitdiff \| tree
2013-01-23	Brian Norris	remove #include <list>	commit \| commitdiff \| tree
2013-01-23	Brian Norris	nodestack: improve debug print() method	commit \| commitdiff \| tree
2013-01-23	Brian Norris	promise: fixup style	commit \| commitdiff \| tree
2013-01-22	Brian Norris	test: rmwprog: support command-line argument	commit \| commitdiff \| tree
2013-01-19	Brian Norris	nodestack: improve debug prints	commit \| commitdiff \| tree
2013-01-19	Brian Norris	schedule: improve scheduler printing	commit \| commitdiff \| tree
2013-01-19	Brian Norris	schedule: allow Schedule::print() even in non-DEBUG...	commit \| commitdiff \| tree
2013-01-17	Brian Norris	model: bugfix - sleep sets are NOT directly compatible...	commit \| commitdiff \| tree
2013-01-16	Brian Norris	litmus: iriw: allow command-line switch 's' for seq_cst	commit \| commitdiff \| tree
2013-01-16	Brian Norris	litmus: iriw: use release/acquire, not release/relaxed	commit \| commitdiff \| tree
2013-01-16	Brian Norris	tests: litmus: link up Makefile properly	commit \| commitdiff \| tree
2013-01-15	Brian Norris	test: litmus: add litmus tests from Nitpicking C++	commit \| commitdiff \| tree
2013-01-15	Brian Norris	test: Makefile: add $(BASE) variable	commit \| commitdiff \| tree
2013-01-10	Brian Norris	model: reformat execution trace prints	commit \| commitdiff \| tree
2013-01-10	Brian Norris	model: spelling mistake	commit \| commitdiff \| tree
2013-01-10	Brian Norris	model: fixup "infeasible" messages	commit \| commitdiff \| tree
2013-01-09	Brian Norris	cyclegraph: add documentation	commit \| commitdiff \| tree
2013-01-09	Brian Norris	cyclegraph: remove redundant code	commit \| commitdiff \| tree
2013-01-09	Brian Norris	cyclegraph: add edgeCreatesCycle() function	commit \| commitdiff \| tree
2013-01-09	Brian Norris	cyclegraph: add const	commit \| commitdiff \| tree
2013-01-08	Brian Norris	model: add 'add_future_value()' wrapper	commit \| commitdiff \| tree
2013-01-08	Brian Norris	model: add PendingFutureValue constructor	commit \| commitdiff \| tree
2013-01-04	Brian Norris	cyclegraph: add back edges to CycleNode	commit \| commitdiff \| tree
2013-01-04	Brian Norris	hashtable: style	commit \| commitdiff \| tree
2013-01-04	Brian Norris	cyclegraph: add putNode() helper	commit \| commitdiff \| tree
2013-01-04	Brian Norris	hashtable: style	commit \| commitdiff \| tree
2013-01-04	Brian Norris	promise: style fixup	commit \| commitdiff \| tree
2013-01-04	Brian Norris	cyclegraph: fix insignificant memory leak	commit \| commitdiff \| tree
2013-01-03	Brian Norris	cyclegraph: small cleanup	commit \| commitdiff \| tree
2013-01-03	Brian Norris	hashtable: add const	commit \| commitdiff \| tree
2013-01-03	Brian Norris	hashtable: fixup style	commit \| commitdiff \| tree
2013-01-03	Brian Norris	snapshot: more renaming	commit \| commitdiff \| tree
2013-01-03	Brian Norris	snapshot-interface: bugfix - reorder constructor params	commit \| commitdiff \| tree
2013-01-03	Brian Norris	snapshot-interface: rename, clean up	commit \| commitdiff \| tree
2013-01-03	Brian Norris	snapshot-interface: change hand-coded stack to vector	commit \| commitdiff \| tree
2013-01-03	Brian Norris	snapshot: turn C++ interface into C interface	commit \| commitdiff \| tree
2013-01-03	Brian Norris	fixup style	commit \| commitdiff \| tree
2013-01-03	Brian Norris	snapshot: more renaming	commit \| commitdiff \| tree
2013-01-03	Brian Norris	snapshot: add (unused) mprot_snapshotter destructor	commit \| commitdiff \| tree
2013-01-03	Brian Norris	snapshot: rename HandlePF -> mprot_handle_pf	commit \| commitdiff \| tree
2013-01-03	Brian Norris	snapshot: add constructor for mprot_snapshotter	commit \| commitdiff \| tree
2013-01-03	Brian Norris	snapshot: separate struct SnapShot naming	commit \| commitdiff \| tree
2013-01-03	Brian Norris	snapshot: edit capitalization in comment	commit \| commitdiff \| tree
2013-01-03	Brian Norris	snapshot: combine public interfaces	commit \| commitdiff \| tree
2013-01-03	Brian Norris	snapshot: split up fork-based and mprotect-based snapshotting	commit \| commitdiff \| tree
2013-01-03	Brian Norris	snapshot: remove SSDEBUG	commit \| commitdiff \| tree
2013-01-03	Brian Norris	dissolve snapshotimp.h	commit \| commitdiff \| tree
2013-01-03	Brian Norris	mymemory/snapshot: rearrange snapshot implementation	commit \| commitdiff \| tree
2013-01-03	Brian Norris	snapshotimp: move macros to fork-based	commit \| commitdiff \| tree
2013-01-03	Brian Norris	snapshot: change 'struct SnapShotPage' to a simple...	commit \| commitdiff \| tree
2013-01-03	Brian Norris	fixup style	commit \| commitdiff \| tree
2013-01-02	Brian Norris	threads: change thrd_t to store Thread pointer	commit \| commitdiff \| tree
2013-01-02	Brian Norris	action: add get_thread_operand() method	commit \| commitdiff \| tree
2013-01-02	Brian Norris	model: use get_thread(curr) instead of get_current_thread()	commit \| commitdiff \| tree
2012-12-19	Brian Norris	test: don't relay on thrd_current() returning an int	commit \| commitdiff \| tree
2012-12-19	Brian Norris	nodestack: refactor Node constructor	commit \| commitdiff \| tree
2012-12-19	Brian Norris	action: fixup style	commit \| commitdiff \| tree
2012-12-18	Brian Norris	model: refactor check_current_action, next thread computation	commit \| commitdiff \| tree
2012-12-18	Brian Norris	threads: assert completion is only called once	commit \| commitdiff \| tree
2012-12-18	Brian Norris	threads: assert THREAD_COMPLETED is immutable	commit \| commitdiff \| tree
2012-12-15	Brian Norris	clean up some DEBUG() messages	commit \| commitdiff \| tree
2012-12-15	Brian Norris	nodestack: style	commit \| commitdiff \| tree
2012-12-15	Brian Norris	nodestack: add const	commit \| commitdiff \| tree
2012-12-15	Brian Norris	nodestack: do not allow Node with act == NULL	commit \| commitdiff \| tree
2012-12-15	Brian Norris	nodestack: don't create empty base node	commit \| commitdiff \| tree
2012-12-13	Brian Norris	model: check for NULL parent Node	commit \| commitdiff \| tree
2012-12-13	Brian Norris	model: use helper 'get_thread()'	commit \| commitdiff \| tree
2012-12-13	Brian Norris	nodestack: print extra backtracking info	commit \| commitdiff \| tree
2012-12-13	Brian Norris	model: style fixups	commit \| commitdiff \| tree
2012-12-13	Brian Norris	model: add 'set_latest_backtrack()'	commit \| commitdiff \| tree
2012-12-13	Brian Norris	model: print bug reports only for feasible executions	commit \| commitdiff \| tree
2012-12-13	Brian Norris	test: uninit: remove @todo (bug fixed)	commit \| commitdiff \| tree
2012-12-13	Brian Norris	model: bugfix - mo_may_allow was too restrictive	commit \| commitdiff \| tree
2012-12-13	Brian Norris	model: make dumpGraph 'const'	commit \| commitdiff \| tree
2012-12-13	Brian Norris	nodestack: fixup style	commit \| commitdiff \| tree
2012-12-13	Brian Norris	model: remove snapshotted 'nextThread'	commit \| commitdiff \| tree
2012-12-13	Brian Norris	model: pass current action as function argument	commit \| commitdiff \| tree
2012-12-13	Brian Norris	model: simplify take_step()	commit \| commitdiff \| tree
2012-12-13	Brian Norris	model: force first thread to run immediately	commit \| commitdiff \| tree
2012-12-13	Brian Norris	model: change guaranteed condition into ASSERT()	commit \| commitdiff \| tree
2012-12-13	Brian Norris	nodestack: rename 'iter' to 'head_idx'	commit \| commitdiff \| tree
next

C++11 memory model checker

RSS Atom