Programming Languages Research Group: Git

2012-09-19	Brian Norris	action: THREAD_JOIN can synchronize against execution...	commit \| commitdiff \| tree
2012-09-18	Brian Norris	model: add curr to action lists early	commit \| commitdiff \| tree
2012-09-18	Brian Norris	model: document behavior of ModelChecker::initialize_curr_action	commit \| commitdiff \| tree
2012-09-18	Brian Norris	model: pull "may_read_from set" calculation out of...	commit \| commitdiff \| tree
2012-09-18	Brian Norris	model: refactor ModelChecker::initialize_curr_action	commit \| commitdiff \| tree
2012-09-18	Brian Norris	model: move init code to ModelChecker::initialize_curr_action	commit \| commitdiff \| tree
2012-09-18	Brian Norris	model: pull computation out of conditional	commit \| commitdiff \| tree
2012-09-18	Brian Norris	tests: add releaseseq test	commit \| commitdiff \| tree
2012-09-18	Brian Norris	model: add some mo_graph fixup code to work_queue	commit \| commitdiff \| tree
2012-09-18	Brian Norris	Merge branch 'norris'	commit \| commitdiff \| tree
2012-09-18	Brian Norris	cyclegraph: add ASSERT() for reflexive edges	commit \| commitdiff \| tree
2012-09-18	Brian Norris	model: add infeasibility debugging	commit \| commitdiff \| tree
2012-09-18	Brian Norris	common: print tracing info for ASSERT() failures	commit \| commitdiff \| tree
2012-09-18	Brian Norris	model: bugfix - w_modification_order handling current...	commit \| commitdiff \| tree
2012-09-18	Brian Norris	model: fixup r_modification_order	commit \| commitdiff \| tree
2012-09-18	Brian Norris	model: check_recency - "already_added" always true	commit \| commitdiff \| tree
2012-09-18	Brian Norris	model: bugfix get_last_seq_action()	commit \| commitdiff \| tree
2012-09-14	Brian Norris	model: fixup happens_before/reflexivity, add 'curr...	commit \| commitdiff \| tree
2012-09-14	Brian Norris	Merge branch 'norris'	commit \| commitdiff \| tree
2012-09-14	Brian Norris	model: release_seq synchronization generates mo_graph...	commit \| commitdiff \| tree
2012-09-14	Brian Norris	.gitignore: ignore .dot graph files	commit \| commitdiff \| tree
2012-09-14	Brian Norris	model: record the number of feasible executions	commit \| commitdiff \| tree
2012-09-14	Brian Norris	config: don't enable graph dumping in master repo	commit \| commitdiff \| tree
2012-09-14	Brian Norris	model: add work queue loop	commit \| commitdiff \| tree
2012-09-14	Brian Norris	workqueue: add work queue structures	commit \| commitdiff \| tree
2012-09-13	Brian Norris	model: more restructuring of read/write processing	commit \| commitdiff \| tree
2012-09-13	Brian Norris	model: remove unnecessary parameter to ModelChecker...	commit \| commitdiff \| tree
2012-09-13	Brian Norris	Makefile: add PHONY targets	commit \| commitdiff \| tree
2012-09-13	Brian Norris	bugfix: straighten out STL vector allocation (snapshotted...	commit \| commitdiff \| tree
2012-09-13	Brian Norris	model: bugfix - don't clobber 'updated'	commit \| commitdiff \| tree
2012-09-13	Brian Norris	Revert "Makefile: don't always rebuild make.deps"	commit \| commitdiff \| tree
2012-09-13	Brian Norris	snapshot: print stack trace on segfault	commit \| commitdiff \| tree
2012-09-13	Brian Norris	common: add print_trace() for backtracing	commit \| commitdiff \| tree
2012-09-13	Brian Norris	model: trivial fixups	commit \| commitdiff \| tree
2012-09-13	Brian Norris	Makefile: don't always rebuild make.deps	commit \| commitdiff \| tree
2012-09-13	Brian Norris	model: simple ASSERT() bug	commit \| commitdiff \| tree
2012-09-13	Brian Norris	main: wrap help message	commit \| commitdiff \| tree
2012-09-13	Brian Norris	model: kill unneeded local variable	commit \| commitdiff \| tree
2012-09-13	Brian Norris	spacing	commit \| commitdiff \| tree
2012-09-13	Brian Norris	Merge remote-tracking branch 'origin/makefile'	commit \| commitdiff \| tree
2012-09-13	Brian Norris	Makefile: fixup Mac dependencies	commit \| commitdiff \| tree
2012-09-13	Brian Norris	cleanup style	commit \| commitdiff \| tree
2012-09-12	Brian Norris	threads, model, schedule: refactor thread joining	commit \| commitdiff \| tree
2012-09-12	Brian Norris	model: add ModelChecker::get_thread(ModelAction *act)	commit \| commitdiff \| tree
2012-09-12	Brian Norris	schedule: add sleep() function	commit \| commitdiff \| tree
2012-09-12	Brian Norris	cyclegraph: add non-NULL assertions	commit \| commitdiff \| tree
2012-09-12	Brian Norris	Merge branch 'demsky'	commit \| commitdiff \| tree
2012-09-12	Brian Norris	model: handle RMW, unresolved reads in w_modification_order...	commit \| commitdiff \| tree
2012-09-11	Brian Norris	model: replace action conditions with switch block	commit \| commitdiff \| tree
2012-09-11	Brian Norris	model: add check_recency()	commit \| commitdiff \| tree
2012-09-11	Brian Norris	model: refactor "get next thread" code	commit \| commitdiff \| tree
2012-09-11	Brian Norris	model: add too_many_reads flag	commit \| commitdiff \| tree
2012-09-11	Brian Norris	nodestack: add get_read_from_size()	commit \| commitdiff \| tree
2012-09-11	Brian Norris	main: add "maxreads" parameter	commit \| commitdiff \| tree
2012-09-08	Brian Norris	main: add parameter parsing	commit \| commitdiff \| tree
2012-09-08	Brian Norris	model: fix release sequence with RMW, acq vs. acq/rel	commit \| commitdiff \| tree
2012-09-07	Brian Norris	model: maintain a count of the pending lazy synchronizations	commit \| commitdiff \| tree
2012-09-07	Brian Norris	model: group snapshottable ModelChecker members in...	commit \| commitdiff \| tree
2012-09-07	Brian Norris	model: force THREAD_START to immediately follow THREAD_CREATE	commit \| commitdiff \| tree
2012-09-07	Brian Norris	model: fix release_seq for open-ended synchronization	commit \| commitdiff \| tree
2012-09-07	Brian Norris	model: use std::find for release sequence search	commit \| commitdiff \| tree
2012-09-07	Brian Norris	model: don't use global 'model' unnecessarily	commit \| commitdiff \| tree
2012-09-06	Brian Norris	Merge branch 'norris'	commit \| commitdiff \| tree
2012-09-06	Brian Norris	model: complete the Thread teardown during THREAD_FINISH	commit \| commitdiff \| tree
2012-09-06	Brian Norris	model: enforce rule: current_action != NULL	commit \| commitdiff \| tree
2012-09-06	Brian Norris	libthreads: don't spin on THREAD_JOIN	commit \| commitdiff \| tree
2012-09-06	Brian Norris	model: hook up THREAD_JOIN and THREAD_FINISH actions	commit \| commitdiff \| tree
2012-09-06	Brian Norris	schedule: add wait and wake functions	commit \| commitdiff \| tree
2012-09-06	Brian Norris	threads: fixup THREAD_READY comment	commit \| commitdiff \| tree
2012-09-06	Brian Norris	threads: add THREAD_BLOCKED state	commit \| commitdiff \| tree
2012-09-06	Brian Norris	threads: add a wait_list	commit \| commitdiff \| tree
2012-09-06	Brian Norris	threads: add is_complete() helper function	commit \| commitdiff \| tree
2012-09-06	Brian Norris	action: add THREAD_FINISH action	commit \| commitdiff \| tree
2012-09-06	Brian Norris	snapshot-interface: debug prints: lengthen the "regionname...	commit \| commitdiff \| tree
2012-09-04	Brian Norris	model: document ModelChecker::check_current_action	commit \| commitdiff \| tree
2012-09-04	Brian Norris	model: check_current_action returns its 'nextThread'	commit \| commitdiff \| tree
2012-09-04	Brian Norris	model/schedule: revise 'nextThread' data flow	commit \| commitdiff \| tree
2012-09-04	Brian Norris	action: print '?' for unknown read-from-future	commit \| commitdiff \| tree
2012-08-25	Brian Norris	model: re-check release sequences lazily	commit \| commitdiff \| tree
2012-08-25	Brian Norris	model: add resolve_release_sequences() function	commit \| commitdiff \| tree
2012-08-25	Brian Norris	model: stash actions for lazy release-seq checking	commit \| commitdiff \| tree
2012-08-25	Brian Norris	model: report 'updates' when adding mo_graph edges	commit \| commitdiff \| tree
2012-08-25	Brian Norris	model: report status of resolved promises	commit \| commitdiff \| tree
2012-08-24	Brian Norris	action, clockvector: add 'has_synchronized_with()'...	commit \| commitdiff \| tree
2012-08-24	Brian Norris	action: make synchronize_with() public	commit \| commitdiff \| tree
2012-08-24	Brian Norris	action: utilize release sequence(s) for synchronization	commit \| commitdiff \| tree
2012-08-24	Brian Norris	model: add release sequence support	commit \| commitdiff \| tree
2012-08-24	Brian Norris	model: change pointer spacing style	commit \| commitdiff \| tree
2012-08-24	Brian Norris	action: (assertion) disallow out-of-order synchronization	commit \| commitdiff \| tree
2012-08-23	Brian Norris	model: improve some promise-related comments	commit \| commitdiff \| tree
2012-08-23	Brian Norris	action: update 'reads_from' field before synchronization	commit \| commitdiff \| tree
2012-08-23	Brian Norris	nodestack: turn magic promise numbers into enum + typedef	commit \| commitdiff \| tree
2012-08-23	Brian Norris	nodestack, model: use uniform spacing, style	commit \| commitdiff \| tree
2012-08-23	Brian Norris	nodestack: don't use uint32_t	commit \| commitdiff \| tree
2012-08-23	Brian Norris	nodestack: remove unnecessary typedefs	commit \| commitdiff \| tree
2012-08-23	Brian Norris	cyclegraph: add public CycleGraph::checkReachable()	commit \| commitdiff \| tree
2012-08-21	Brian Norris	model: correct mo_graph comment	commit \| commitdiff \| tree
2012-08-21	Brian Norris	cyclegraph: straighten out header vs. implementation...	commit \| commitdiff \| tree
2012-08-20	Brian Norris	promise: rewrite into a simpler header file	commit \| commitdiff \| tree
2012-08-20	Brian Norris	Makefile: rewrite header dependencies	commit \| commitdiff \| tree
next

C++11 memory model checker

RSS Atom