Programming Languages Research Group: Git

2013-03-02	Brian Norris	model: we only resolve one promise at a time	commit \| commitdiff \| tree
2013-03-01	Brian Norris	model: fix ASSERT()	commit \| commitdiff \| tree
2013-03-01	Brian Norris	promise: add 'same_value' helper, force value-checking...	commit \| commitdiff \| tree
2013-03-01	Brian Norris	promise: bugfix - don't check value, check location	commit \| commitdiff \| tree
2013-03-01	Brian Norris	action: add get_write_value()	commit \| commitdiff \| tree
2013-03-01	Brian Norris	action: add ModelAction::get_reads_from_value()	commit \| commitdiff \| tree
2013-03-01	Brian Norris	action, model: add ASSERT(), not NULL checks	commit \| commitdiff \| tree
2013-03-01	Brian Norris	cyclegraph/model: unify, clean up graph printing	commit \| commitdiff \| tree
2013-03-01	Brian Norris	nodestack: get_read_from_promise() never returns NULL	commit \| commitdiff \| tree
2013-02-28	Brian Norris	model/schedule: comput "reduadant" measurement, print...	commit \| commitdiff \| tree
2013-02-28	Brian Norris	cyclegraph: clean up mo_graph dump	commit \| commitdiff \| tree
2013-02-28	Brian Norris	action: print promise number, not just ?	commit \| commitdiff \| tree
2013-02-28	Brian Norris	nodestack: bugfix - clear backtracking properly	commit \| commitdiff \| tree
2013-02-28	Brian Norris	promise: record multiple readers in the same Promise	commit \| commitdiff \| tree
2013-02-28	Brian Norris	un-'const' some Promises	commit \| commitdiff \| tree
2013-02-28	Brian Norris	nodestack: rewrite promise-resolution "counting"	commit \| commitdiff \| tree
2013-02-28	Brian Norris	model: hook up 'read-from-promise' backtracking in...	commit \| commitdiff \| tree
2013-02-28	Brian Norris	nodestack: add read_from_promises backtracking	commit \| commitdiff \| tree
2013-02-28	Brian Norris	nodestack: bugfix - rewrite 'may-read-from' and 'future...	commit \| commitdiff \| tree
2013-02-28	Brian Norris	model: shorten some code	commit \| commitdiff \| tree
2013-02-28	Brian Norris	model: rename 'reads_from' to 'rf'	commit \| commitdiff \| tree
2013-02-28	Brian Norris	nodestack: rename 'read_from' to 'read_from_past'	commit \| commitdiff \| tree
2013-02-28	Brian Norris	model: don't call process_read() for 2nd half of RMW...	commit \| commitdiff \| tree
2013-02-27	Brian Norris	model: bugfix - correct the "equality" check for RR...	commit \| commitdiff \| tree
2013-02-27	Brian Norris	cyclegraph: bugfix - allow to compile with SUPPORT_MOD_ORDER...	commit \| commitdiff \| tree
2013-02-27	Brian Norris	model: bugfix - correct RR coherence for Promises	commit \| commitdiff \| tree
2013-02-27	Brian Norris	cyclegraph: change Promise nodes map	commit \| commitdiff \| tree
2013-02-26	Brian Norris	model: promises: eliminate threads when they "join"	commit \| commitdiff \| tree
2013-02-26	Brian Norris	schedule: remove commented-out code	commit \| commitdiff \| tree
2013-02-26	Brian Norris	model: bugfix - only allow promise satisfaction for...	commit \| commitdiff \| tree
2013-02-25	Brian Norris	threads: construct Thread only with a given "parent"	commit \| commitdiff \| tree
2013-02-25	Brian Norris	Revert "fix scheduling stuff to get nice round robin...	commit \| commitdiff \| tree
2013-02-23	Brian Norris	nodestack: bugfix - reset backtracking points on diverging...	commit \| commitdiff \| tree
2013-02-23	Brian Norris	model: bugfix - inherit future values from previous...	commit \| commitdiff \| tree
2013-02-23	Brian Norris	nodestack: don't use C++ references	commit \| commitdiff \| tree
2013-02-23	Brian Norris	model: correct the "no valid reads" assertion	commit \| commitdiff \| tree
2013-02-23	Brian Norris	promise: stash the whole future_value	commit \| commitdiff \| tree
2013-02-22	Brian Norris	test: fences: add simple, semi-useful fence tests	commit \| commitdiff \| tree
2013-02-22	Brian Norris	test: add double-read-fv	commit \| commitdiff \| tree
2013-02-22	Brian Norris	action: backtrack/sleep-sets for seq-cst fences	commit \| commitdiff \| tree
2013-02-22	Brian Norris	model: wake up pending (sleep-set) actions for fences	commit \| commitdiff \| tree
2013-02-21	Brian Norris	model: only backtrack fences when acquire is before...	commit \| commitdiff \| tree
2013-02-21	Brian Norris	model: document get_last{,_fence}_conflict()	commit \| commitdiff \| tree
2013-02-21	Brian Norris	model: schedule appropriate fence backtracking points	commit \| commitdiff \| tree
2013-02-21	Brian Norris	model: convert while-loops to for-loops	commit \| commitdiff \| tree
2013-02-20	Brian Norris	model: add 'const'	commit \| commitdiff \| tree
2013-02-20	Brian Norris	include: fixup header inclusion	commit \| commitdiff \| tree
2013-02-20	Brian Norris	don't include action.h from model.h	commit \| commitdiff \| tree
2013-02-20	Brian Norris	model/action: move action_list_t to model.h	commit \| commitdiff \| tree
2013-02-20	Brian Norris	promise: move constructor out of header	commit \| commitdiff \| tree
2013-02-16	Brian Norris	scheduler: refactor round-robin loop	commit \| commitdiff \| tree
2013-02-16	Brian Norris	model: end-of-execution print	commit \| commitdiff \| tree
2013-02-16	Brian Norris	model: improve get_next_thread() comments	commit \| commitdiff \| tree
2013-02-15	Brian Norris	schedule: simplify Scheduler::select_next_thread()	commit \| commitdiff \| tree
2013-02-15	Brian Norris	model: pull scheduler's thread selection into get_next_thread()	commit \| commitdiff \| tree
2013-02-15	Brian Norris	schedule: split Scheduler::next_thread() into separate...	commit \| commitdiff \| tree
2013-02-15	Brian Norris	model: factor out a 'switch_from_master()' function	commit \| commitdiff \| tree
2013-02-15	Brian Norris	model: rework the release sequence fixups	commit \| commitdiff \| tree
2013-02-15	Brian Norris	model: simple refactoring	commit \| commitdiff \| tree
2013-02-15	Brian Norris	model/threads: add documentation comments	commit \| commitdiff \| tree
2013-02-15	Brian Norris	model: fix leaking "pending actions"	commit \| commitdiff \| tree
2013-02-15	Brian Norris	model: add 'pending' assertion	commit \| commitdiff \| tree
2013-02-15	Brian Norris	model: stash all pending actions immediately	commit \| commitdiff \| tree
2013-02-15	Brian Norris	model: pull 'has_asserted()' check out of take_step()	commit \| commitdiff \| tree
2013-02-15	Brian Norris	threads: bugfix - do not call thread_current() from...	commit \| commitdiff \| tree
2013-02-15	Brian Norris	model: stash actions in each thread	commit \| commitdiff \| tree
2013-02-15	Brian Norris	model: return next thread from take_step()	commit \| commitdiff \| tree
2013-02-14	Brian Norris	threads/model: allocate Thread from w/in ModelChecker	commit \| commitdiff \| tree
2013-02-14	Brian Norris	schedule: assert that model-checker thread doesn't...	commit \| commitdiff \| tree
2013-02-12	Brian Norris	model: set thread state during 'swap' calls	commit \| commitdiff \| tree
2013-02-12	Brian Norris	Merge branch 'fences'	commit \| commitdiff \| tree
2013-02-12	Brian Norris	promise: use id_to_int()	commit \| commitdiff \| tree
2013-02-12	Brian Norris	model: prune may-read-from set early	commit \| commitdiff \| tree
2013-02-12	Brian Norris	action: bugfix - initialize member	commit \| commitdiff \| tree
2013-02-12	Brian Norris	model: rewrite mo_check_promises	commit \| commitdiff \| tree
2013-02-09	Brian Norris	model: remove argument from mo_check_promises	commit \| commitdiff \| tree
2013-02-09	Brian Norris	cyclegraph: possible optimization	commit \| commitdiff \| tree
2013-02-09	Brian Norris	model: rename according to the comments	commit \| commitdiff \| tree
2013-02-07	Brian Norris	model: add read-write coherence for promise nodes	commit \| commitdiff \| tree
2013-02-07	Brian Norris	promise: update comments/names to reflect usage	commit \| commitdiff \| tree
2013-02-07	Brian Norris	cyclegraph: expand template usage	commit \| commitdiff \| tree
2013-02-06	Brian Norris	model: refactor to use a helper function	commit \| commitdiff \| tree
2013-02-06	Brian Norris	cyclegraph: don't delete promise nodes	commit \| commitdiff \| tree
2013-02-06	Brian Norris	cyclegraph: fixup support for dumping the modification...	commit \| commitdiff \| tree
2013-02-06	Brian Norris	cyclegraph: mergeNodes(): return early if we violate RMW	commit \| commitdiff \| tree
2013-02-06	Brian Norris	cyclegraph: refactor for indentation	commit \| commitdiff \| tree
2013-02-06	Brian Norris	Makefile / git: cleanup generated .dot and .pdf files	commit \| commitdiff \| tree
2013-02-06	Brian Norris	cyclegraph: add wrappers for some common functionality	commit \| commitdiff \| tree
2013-02-06	Brian Norris	model: fully utilize Promise nodes in CycleGraph	commit \| commitdiff \| tree
2013-02-06	Brian Norris	model: cosmetic improvements to resolve_promises()	commit \| commitdiff \| tree
2013-02-06	Brian Norris	cyclegraph: move function definitions out of header	commit \| commitdiff \| tree
2013-02-06	Brian Norris	cyclegraph: template-ize addRMWEdge()	commit \| commitdiff \| tree
2013-02-06	Brian Norris	cyclegraph: bugfix - pop edges properly	commit \| commitdiff \| tree
2013-02-06	Brian Norris	model: add write-to-promise edges	commit \| commitdiff \| tree
2013-02-06	Brian Norris	promise: add is_compatible_exclusive()	commit \| commitdiff \| tree
2013-02-06	Brian Norris	promise: add const	commit \| commitdiff \| tree
2013-02-06	Brian Norris	model: utilize CycleGraph 'addEdge()' status	commit \| commitdiff \| tree
2013-02-06	Brian Norris	cyclegraph: return 'added' status for addEdge()	commit \| commitdiff \| tree
2013-02-06	Brian Norris	cyclegraph: add documentation	commit \| commitdiff \| tree
2013-02-06	Brian Norris	cyclegraph: bugfix - only use concrete writes to eliminate...	commit \| commitdiff \| tree
next

C++11 memory model checker

RSS Atom