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

2012-08-16	Brian Norris	action: don't merge twice in read_from()	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 Norris	action: add memory_order printing	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	okay...known bugs for my trivial test are out of send...	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	changes	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	fix my todo comments so they appear in documentation	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	Add documentation	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	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-17	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-07-17	Brian Norris	action: fix uint64_t printf warning	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	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	action: use constructor initializer list	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	add more const qualifiers	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-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-19	Brian Norris	action: add const qualifiers	blob \| commitdiff \| raw \| diff to current
2012-06-19	Brian Norris	action: replace condition check with ASSERT()	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-29	Brian Norris	nodestack: push 'create_cv' functionality responsibilit...	blob \| commitdiff \| raw \| diff to current
2012-05-28	Brian Norris	clockvector: fixup initialization	blob \| commitdiff \| raw \| diff to current
2012-05-26	Brian Norris	action: enhance print() message	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: use proper location comparison	blob \| commitdiff \| raw \| diff to current
2012-05-21	Brian Norris	Merge commit: branch 'work'	blob \| commitdiff \| raw \| diff to current
2012-05-15	Brian Norris	action: neuter the "same_var" function for now...	blob \| commitdiff \| raw \| diff to current
2012-05-08	Brian Norris	action: split ModelAction off into action.cc	blob \| commitdiff \| raw \| diff to current

C++11 memory model checker

RSS Atom