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

2013-01-02	Brian Norris	action: add get_thread_operand() method	blob \| commitdiff \| raw
2012-12-08	Brian Norris	spacing	blob \| commitdiff \| raw \| diff to current
2012-12-07	Brian Norris	action: add is_atomic_var()	blob \| commitdiff \| raw \| diff to current
2012-12-07	Brian Norris	action: move ModelAction::get_node to action.cc	blob \| commitdiff \| raw \| diff to current
2012-12-07	Brian Norris	action: add ATOMIC_UNINIT type	blob \| commitdiff \| raw \| diff to current
2012-12-04	Brian Norris	action: add is_thread_start()	blob \| commitdiff \| raw \| diff to current
2012-12-04	Brian Norris	model/action: move complicated read_from logic into...	blob \| commitdiff \| raw \| diff to current
2012-12-04	Brian Norris	action: record last fence release from the current...	blob \| commitdiff \| raw \| diff to current
2012-11-19	Brian Norris	action: add is_relaxed() function	blob \| commitdiff \| raw \| diff to current
2012-10-12	Brian Demsky	commit untested condvar code	blob \| commitdiff \| raw \| diff to current
2012-10-12	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-10-11	Brian Demsky	compiles with condition variables file added...	blob \| commitdiff \| raw \| diff to current
2012-10-11	Brian Norris	action: improve printing	blob \| commitdiff \| raw \| diff to current
2012-10-10	Brian Norris	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2012-10-10	Brian Demsky	fix some of the bugs related to barrier example...	blob \| commitdiff \| raw \| diff to current
2012-10-09	Brian Demsky	be much more careful about sending values backwards...	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Demsky	be even more aggressive about sleep sets...	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Norris	utilize SnapshotAlloc STL allocator	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Demsky	merge massive speedup with release sequence support...	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-10-08	Brian Norris	action: add Thread parameter to constructor	blob \| commitdiff \| raw \| diff to current
2012-10-07	Brian Norris	action: add MODEL_FIXUP_RELSEQ action_type	blob \| commitdiff \| raw \| diff to current
2012-10-05	Brian Demsky	1) more comments	blob \| commitdiff \| raw \| diff to current
2012-10-04	Brian Demsky	Merge branch 'master' of /home/git/model-checker	blob \| commitdiff \| raw \| diff to current
2012-10-04	Brian Norris	action: return synchronization status for ModelAction...	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	action: remove clockvector flag from print() method	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	Merge remote-tracking branch 'origin/master'	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	modeltypes: move small typedefs to own header	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	assign sequence numbers after initial processing	blob \| commitdiff \| raw \| diff to current
2012-10-03	Brian Norris	action: don't print clock vector when it is invalid	blob \| commitdiff \| raw \| diff to current
2012-10-01	Brian Norris	action: synchronize_with - return status for out-of...	blob \| commitdiff \| raw \| diff to current
2012-09-21	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-09-21	Brian Demsky	comments	blob \| commitdiff \| raw \| diff to current
2012-09-20	Brian Demsky	bug fixes for lock support...think it works now...	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	merge stuff	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	support for locks... untested, but doesn't break quick...	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	fix	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Demsky	more changes towards locks	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Demsky	Merge branch 'master' into mutex	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Demsky	start towards adding support for mutexes	blob \| commitdiff \| raw \| diff to current
2012-09-14	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-09-14	Brian Demsky	tabbing	blob \| commitdiff \| raw \| diff to current
2012-09-14	Brian Demsky	(1) add actions for the fence	blob \| commitdiff \| raw \| diff to current
2012-09-07	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-09-06	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-09-06	Brian Norris	action: add THREAD_FINISH action	blob \| commitdiff \| raw \| diff to current
2012-08-24	Brian Norris	action, clockvector: add 'has_synchronized_with()'...	blob \| commitdiff \| raw \| diff to current
2012-08-24	Brian Norris	action: make synchronize_with() public	blob \| commitdiff \| raw \| diff to current
2012-08-16	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-08-16	Brian Norris	action: rework/rename 'synchronized()' to 'synchronize_...	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	changes	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Norris	action: fix ATOMIC_RMW comments	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	towards making rmw work...	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Norris	action: add stub ATOMIC_RMWR and ATOMIC_RMWC	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Norris	action: switch from "libatomic" to C++-spec "memory_ord...	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Norris	pull in most of atomic header file	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	small changes (things still work) towards support RMW	blob \| commitdiff \| raw \| diff to current
2012-07-16	Brian Demsky	really should be using a type that is big enough for...	blob \| commitdiff \| raw \| diff to current
2012-07-12	Brian Norris	Merge branch 'master' into brian	blob \| commitdiff \| raw \| diff to current
2012-07-11	Brian Norris	action / threads: add THREAD_START action at start...	blob \| commitdiff \| raw \| diff to current
2012-07-11	Brian Norris	action: add 'reads_from' member variable	blob \| commitdiff \| raw \| diff to current
2012-07-11	Brian Norris	action: remove unused ModelAction::set_value()	blob \| commitdiff \| raw \| diff to current
2012-07-11	Brian Norris	remove EOL spaces, fix indentation	blob \| commitdiff \| raw \| diff to current
2012-07-07	Brian Norris	Merge branch 'datarace'	blob \| commitdiff \| raw \| diff to current
2012-07-07	Brian Norris	document some enumerated types	blob \| commitdiff \| raw \| diff to current
2012-07-07	Brian Norris	action: support ATOMIC_INIT	blob \| commitdiff \| raw \| diff to current
2012-07-06	Brian Norris	trivial changes	blob \| commitdiff \| raw \| diff to current
2012-07-06	Brian Norris	add more const qualifiers	blob \| commitdiff \| raw \| diff to current
2012-07-06	Brian Norris	clock: add modelclock_t typedef, use 'unsigned int'	blob \| commitdiff \| raw \| diff to current
2012-07-03	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-07-03	Brian Norris	Merge branch 'brian'	blob \| commitdiff \| raw \| diff to current
2012-07-03	Brian Norris	action: add {get,set}_value(), assign default value	blob \| commitdiff \| raw \| diff to current
2012-06-21	Subramanian Ganapathy	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-06-21	Brian Norris	action: add const qualifier	blob \| commitdiff \| raw \| diff to current
2012-06-21	Brian Norris	Merge branch 'sandbox' (remove finalize())	blob \| commitdiff \| raw \| diff to current
2012-06-21	Brian Norris	action: add happens_before() function	blob \| commitdiff \| raw \| diff to current
2012-06-21	Brian Norris	action: add 'get_cv()' accessor function	blob \| commitdiff \| raw \| diff to current
2012-06-19	Brian Norris	action: add const qualifiers	blob \| commitdiff \| raw \| diff to current
2012-06-06	Brian Norris	action: fix some comments	blob \| commitdiff \| raw \| diff to current
2012-06-06	Brian Demsky	1) Add more comments.	blob \| commitdiff \| raw \| diff to current
2012-06-06	Brian Demsky	add support for docs	blob \| commitdiff \| raw \| diff to current
2012-05-30	Subramanian Ganapathy	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-05-26	Brian Norris	action: add create_cv() and read_from()	blob \| commitdiff \| raw \| diff to current
2012-05-26	Brian Norris	action: add clock vector field, destructor	blob \| commitdiff \| raw \| diff to current
2012-05-26	Brian Norris	action: add all action_lists to snapshot...	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Norris	fix indentation + spacing, esp. for MEMALLOC macro	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Norris	Merge commit: branch 'work'	blob \| commitdiff \| raw \| diff to current
2012-05-18	Brian Demsky	merging stuff...made need to clean up some stuff.....	blob \| commitdiff \| raw \| diff to current
2012-05-15	Brian Norris	model: replace TreeNode with NodeStack	blob \| commitdiff \| raw \| diff to current
2012-05-14	Brian Norris	action: add get_node() accessor	blob \| commitdiff \| raw \| diff to current
2012-05-14	Brian Norris	action: add comparison operator for ModelAction	blob \| commitdiff \| raw \| diff to current
2012-05-14	Brian Norris	nodestack: add class NodeStack and class Node	blob \| commitdiff \| raw \| diff to current
2012-05-09	Subramanian Ganapathy	Adding STL stuff and operator news of snapshot to model...	blob \| commitdiff \| raw \| diff to current
2012-05-09	Brian Norris	action: rename 'node' members to 'treenode'	blob \| commitdiff \| raw \| diff to current
2012-05-03	Brian Norris	straighten out header includes, comment on Forward...	blob \| commitdiff \| raw \| diff to current
2012-05-02	Brian Norris	model: add sequence numbers to ModelAction	blob \| commitdiff \| raw \| diff to current
2012-05-01	Brian Norris	threads: move thread_id_t definition and redefine thrd_...	blob \| commitdiff \| raw \| diff to current
2012-04-30	Brian Norris	clean up header #includes	blob \| commitdiff \| raw \| diff to current
2012-04-30	Brian Norris	split header out to action.h	blob \| commitdiff \| raw \| diff to current

C++11 memory model checker

RSS Atom