Programming Languages Research Group: Git - model-checker.git/shortlog

2013-02-06	Brian Norris	cyclegraph: add wrappers for some common functionality	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	model: fully utilize Promise nodes in CycleGraph	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	model: cosmetic improvements to resolve_promises()	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	cyclegraph: move function definitions out of header	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	cyclegraph: template-ize addRMWEdge()	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	cyclegraph: bugfix - pop edges properly	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	model: add write-to-promise edges	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	promise: add is_compatible_exclusive()	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	promise: add const	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	model: utilize CycleGraph 'addEdge()' status	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	cyclegraph: return 'added' status for addEdge()	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	cyclegraph: add documentation	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	cyclegraph: bugfix - only use concrete writes to elimin...	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	cyclegraph: edit template for checkReachable	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	cyclegraph: edit template for addEdge	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	cyclegraph: add overloaded getNode_noCreate()	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	model: add promise-node edges for 'read' actions	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	cyclegraph: template-ize checkReachable()	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	model: template-ize 'r_modification_order'	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	action: fixup printing for RMW/RMWR	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	action: store Promise in ModelAction	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	cyclegraph: add full promise resolution, node merging	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	cyclegraph: add CycleNode::resolvePromise(), CycleNode...	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	promise: add is_compatible()	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	cyclegraph: map Promises to Promise nodes	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	cyclegraph: template for addEdge()	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	cyclegraph: rename addEdge() to addNodeEdge()	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	cyclegraph: add removeEdge(), removeBackEdge()	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	cyclegraph: add Promise CycleNode	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	cyclegraph: trivial shortening	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	Makfile: add 'make pdfs' target to build PDF from ...	commit \| commitdiff \| tree \| snapshot
2013-02-06	Brian Norris	model: don't print scheduler randomly	commit \| commitdiff \| tree \| snapshot
2013-02-02	Brian Norris	action: fix incorrect comment	commit \| commitdiff \| tree \| snapshot
2013-02-02	Brian Norris	Doxyfile: don't recurse into all directories	commit \| commitdiff \| tree \| snapshot
2013-01-31	Brian Norris	cyclegraph: use vector empty() and clear()	commit \| commitdiff \| tree \| snapshot
2013-01-29	Brian Norris	nodestack/model: spacing	commit \| commitdiff \| tree \| snapshot
2013-01-28	Brian Norris	promise: update names/comments	commit \| commitdiff \| tree \| snapshot
2013-01-25	Brian Norris	cyclegraph: RMW atomicity violation must flag a cycle	commit \| commitdiff \| tree \| snapshot
2013-01-25	Brian Norris	cyclegraph: reformat, improve 'addRMWEdge' comments	commit \| commitdiff \| tree \| snapshot
2013-01-25	Brian Norris	cyclegraph: separate an 'addEdge(CycleNode *, CycleNode...	commit \| commitdiff \| tree \| snapshot
2013-01-25	Brian Norris	model: remove ModelChecker::is_infeasible_ignoreRMW()	commit \| commitdiff \| tree \| snapshot
2013-01-24	Brian Norris	model: add immediate future value for RMW reordering	commit \| commitdiff \| tree \| snapshot
2013-01-24	Brian Norris	cyclegraph: detect cycles immediately	commit \| commitdiff \| tree \| snapshot
2013-01-24	Brian Norris	promise: bugfix - a disabled thread should not be elimi...	commit \| commitdiff \| tree \| snapshot
2013-01-24	Brian Norris	model: modify promises on THREAD_{CREATE,FINISH}	commit \| commitdiff \| tree \| snapshot
2013-01-24	Brian Norris	promise: associate Promises with a set of threads	commit \| commitdiff \| tree \| snapshot
2013-01-24	Brian Norris	action: record future value	commit \| commitdiff \| tree \| snapshot
2013-01-24	Brian Norris	future_value: add thread ID parameter	commit \| commitdiff \| tree \| snapshot
2013-01-24	Brian Norris	nodestack: pass 'struct future_value' to add_future_value()	commit \| commitdiff \| tree \| snapshot
2013-01-24	Brian Norris	model: add const to get_thread(ModelAction *act)	commit \| commitdiff \| tree \| snapshot
2013-01-24	Brian Norris	model: fixup indentation, spelling in comment	commit \| commitdiff \| tree \| snapshot
2013-01-24	Brian Norris	model: style	commit \| commitdiff \| tree \| snapshot
2013-01-24	Brian Norris	model: remove local variable	commit \| commitdiff \| tree \| snapshot
2013-01-23	Brian Norris	promise: SnapshotAlloc for vector	commit \| commitdiff \| tree \| snapshot
2013-01-23	Brian Norris	promise: refactor has_failed()	commit \| commitdiff \| tree \| snapshot
2013-01-23	Brian Norris	promise: move thread_is_eliminated()	commit \| commitdiff \| tree \| snapshot
2013-01-23	Brian Norris	promise: rename has_sync_thread() -> thread_is_eliminated()	commit \| commitdiff \| tree \| snapshot
2013-01-23	Brian Norris	promise: rename check_promise() -> has_failed()	commit \| commitdiff \| tree \| snapshot
2013-01-23	Brian Norris	promise: refactor eliminate_thread()/check_promise()	commit \| commitdiff \| tree \| snapshot
2013-01-23	Brian Norris	promise: rename increment_threads() -> eliminate_thread()	commit \| commitdiff \| tree \| snapshot
2013-01-23	Brian Norris	nodestack: add const	commit \| commitdiff \| tree \| snapshot
2013-01-23	Brian Norris	promise: construct with a 'future_value' struct	commit \| commitdiff \| tree \| snapshot
2013-01-23	Brian Norris	nodestack/promise: move future_value struct, update...	commit \| commitdiff \| tree \| snapshot
2013-01-23	Brian Norris	nodestack: pass writer ModelAction to add_future_value()	commit \| commitdiff \| tree \| snapshot
2013-01-23	Brian Norris	nodestack: eliminate get_future_value_expiration()	commit \| commitdiff \| tree \| snapshot
2013-01-23	Brian Norris	nodestack: remove extra blank lines	commit \| commitdiff \| tree \| snapshot
2013-01-23	Brian Norris	remove #include <list>	commit \| commitdiff \| tree \| snapshot
2013-01-23	Brian Norris	nodestack: improve debug print() method	commit \| commitdiff \| tree \| snapshot
2013-01-23	Brian Demsky	fix bug in promise handling code...	commit \| commitdiff \| tree \| snapshot
2013-01-23	Brian Norris	promise: fixup style	commit \| commitdiff \| tree \| snapshot
2013-01-22	Brian Norris	test: rmwprog: support command-line argument	commit \| commitdiff \| tree \| snapshot
2013-01-19	Brian Norris	nodestack: improve debug prints	commit \| commitdiff \| tree \| snapshot
2013-01-19	Brian Norris	schedule: improve scheduler printing	commit \| commitdiff \| tree \| snapshot
2013-01-19	Brian Norris	schedule: allow Schedule::print() even in non-DEBUG...	commit \| commitdiff \| tree \| snapshot
2013-01-17	Brian Norris	model: bugfix - sleep sets are NOT directly compatible...	commit \| commitdiff \| tree \| snapshot
2013-01-16	Brian Norris	litmus: iriw: allow command-line switch 's' for seq_cst	commit \| commitdiff \| tree \| snapshot
2013-01-16	Brian Norris	litmus: iriw: use release/acquire, not release/relaxed	commit \| commitdiff \| tree \| snapshot
2013-01-16	Brian Norris	tests: litmus: link up Makefile properly	commit \| commitdiff \| tree \| snapshot
2013-01-15	Brian Norris	test: litmus: add litmus tests from Nitpicking C++	commit \| commitdiff \| tree \| snapshot
2013-01-15	Brian Norris	test: Makefile: add $(BASE) variable	commit \| commitdiff \| tree \| snapshot
2013-01-10	Brian Norris	model: reformat execution trace prints	commit \| commitdiff \| tree \| snapshot
2013-01-10	Brian Norris	model: spelling mistake	commit \| commitdiff \| tree \| snapshot
2013-01-10	Brian Norris	model: fixup "infeasible" messages	commit \| commitdiff \| tree \| snapshot
2013-01-09	Brian Norris	cyclegraph: add documentation	commit \| commitdiff \| tree \| snapshot
2013-01-09	Brian Norris	cyclegraph: remove redundant code	commit \| commitdiff \| tree \| snapshot
2013-01-09	Brian Norris	cyclegraph: add edgeCreatesCycle() function	commit \| commitdiff \| tree \| snapshot
2013-01-09	Brian Norris	cyclegraph: add const	commit \| commitdiff \| tree \| snapshot
2013-01-08	Brian Norris	model: add 'add_future_value()' wrapper	commit \| commitdiff \| tree \| snapshot
2013-01-08	Brian Norris	model: add PendingFutureValue constructor	commit \| commitdiff \| tree \| snapshot
2013-01-08	Brian Demsky	new test case	commit \| commitdiff \| tree \| snapshot
2013-01-04	Brian Norris	cyclegraph: add back edges to CycleNode	commit \| commitdiff \| tree \| snapshot
2013-01-04	Brian Norris	hashtable: style	commit \| commitdiff \| tree \| snapshot
2013-01-04	Brian Norris	cyclegraph: add putNode() helper	commit \| commitdiff \| tree \| snapshot
2013-01-04	Brian Norris	hashtable: style	commit \| commitdiff \| tree \| snapshot
2013-01-04	Brian Norris	promise: style fixup	commit \| commitdiff \| tree \| snapshot
2013-01-04	Brian Norris	cyclegraph: fix insignificant memory leak	commit \| commitdiff \| tree \| snapshot
2013-01-03	Brian Norris	cyclegraph: small cleanup	commit \| commitdiff \| tree \| snapshot
2013-01-03	Brian Norris	hashtable: add const	commit \| commitdiff \| tree \| snapshot
2013-01-03	Brian Norris	hashtable: fixup style	commit \| commitdiff \| tree \| snapshot
2013-01-03	Brian Norris	snapshot: more renaming	commit \| commitdiff \| tree \| snapshot
next

C++11 memory model checker

RSS Atom