Programming Languages Research Group: Git - c11tester.git/history

2012-09-20	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw
2012-09-20	Brian Norris	model: fixup style	blob \| commitdiff \| raw \| diff to current
2012-09-20	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-09-20	Brian Demsky	more documentation	blob \| commitdiff \| raw \| diff to current
2012-09-20	Brian Norris	model: release_seq_head: improve ordering of tests	blob \| commitdiff \| raw \| diff to current
2012-09-20	Brian Norris	model: release sequences: check last action in each...	blob \| commitdiff \| raw \| diff to current
2012-09-20	Brian Norris	model: pad the digits in exec#.dot filenames	blob \| commitdiff \| raw \| diff to current
2012-09-20	Brian Norris	model: add const qualifiers, fixup comments	blob \| commitdiff \| raw \| diff to current
2012-09-20	Brian Demsky	documentation	blob \| commitdiff \| raw \| diff to current
2012-09-20	Brian Norris	model: get_last_conflict - replace if/else-if block...	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-20	Brian Demsky	fix merge	blob \| commitdiff \| raw \| diff to current
2012-09-20	Brian Demsky	push changes	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	merge stuff	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	more mutex changes	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 merge bug	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	fix	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	merge in master	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	fix bug	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Norris	model: replace list type with action_list_t	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Norris	model: add typedef for list of release sequence heads	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Norris	model: THREAD_JOIN synchronizes with THREAD_FINISH	blob \| commitdiff \| raw \| diff to current
2012-09-19	Brian Demsky	ichange	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	model: add curr to action lists early	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	model: document behavior of ModelChecker::initialize_cu...	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	model: pull "may_read_from set" calculation out of...	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	model: refactor ModelChecker::initialize_curr_action	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	model: move init code to ModelChecker::initialize_curr_...	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Demsky	changes	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	model: pull computation out of conditional	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	model: add some mo_graph fixup code to work_queue	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	model: add infeasibility debugging	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	model: bugfix - w_modification_order handling current...	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	model: fixup r_modification_order	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	model: check_recency - "already_added" always true	blob \| commitdiff \| raw \| diff to current
2012-09-18	Brian Norris	model: bugfix get_last_seq_action()	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	model: fixup happens_before/reflexivity, add 'curr...	blob \| commitdiff \| raw \| diff to current
2012-09-14	Brian Norris	Merge branch 'norris'	blob \| commitdiff \| raw \| diff to current
2012-09-14	Brian Norris	model: release_seq synchronization generates mo_graph...	blob \| commitdiff \| raw \| diff to current
2012-09-14	Brian Norris	model: record the number of feasible executions	blob \| commitdiff \| raw \| diff to current
2012-09-14	Brian Norris	model: add work queue loop	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-14	Brian Demsky	add support for dumping cyclegraphs as dot files.....	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	model: more restructuring of read/write processing	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	model: remove unnecessary parameter to ModelChecker...	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	bugfix: straighten out STL vector allocation (snapshott...	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	model: bugfix - don't clobber 'updated'	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	model: trivial fixups	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	model: simple ASSERT() bug	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	model: kill unneeded local variable	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	spacing	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	Merge remote-tracking branch 'origin/makefile'	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Demsky	lots of debugging here... finally working with my rmw...	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Norris	cleanup style	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Demsky	fix for horrible bug... turns out that we could genera...	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Demsky	right fix for avoid rmw cycles... bad assumption in...	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Demsky	another bug fix...	blob \| commitdiff \| raw \| diff to current
2012-09-13	Brian Demsky	separate out rmw actions	blob \| commitdiff \| raw \| diff to current
2012-09-12	Brian Demsky	(1) structure code a little better	blob \| commitdiff \| raw \| diff to current
2012-09-12	Brian Demsky	deal with looping due to bogus future value via promise...	blob \| commitdiff \| raw \| diff to current
2012-09-12	Brian Demsky	fun issues...	blob \| commitdiff \| raw \| diff to current
2012-09-12	Brian Norris	threads, model, schedule: refactor thread joining	blob \| commitdiff \| raw \| diff to current
2012-09-12	Brian Norris	model: add ModelChecker::get_thread(ModelAction *act)	blob \| commitdiff \| raw \| diff to current
2012-09-12	Brian Norris	Merge branch 'demsky'	blob \| commitdiff \| raw \| diff to current
2012-09-12	Brian Demsky	model: cleaning up some code	blob \| commitdiff \| raw \| diff to current
2012-09-12	Brian Norris	model: handle RMW, unresolved reads in w_modification_o...	blob \| commitdiff \| raw \| diff to current
2012-09-11	Brian Demsky	model: fix the maxreads support	blob \| commitdiff \| raw \| diff to current
2012-09-11	Brian Demsky	model: some bug fixes to the model checker	blob \| commitdiff \| raw \| diff to current
2012-09-11	Brian Demsky	model: bug fixes to new code	blob \| commitdiff \| raw \| diff to current
2012-09-11	Brian Norris	model: replace action conditions with switch block	blob \| commitdiff \| raw \| diff to current
2012-09-11	Brian Norris	model: add check_recency()	blob \| commitdiff \| raw \| diff to current
2012-09-11	Brian Norris	model: refactor "get next thread" code	blob \| commitdiff \| raw \| diff to current
2012-09-11	Brian Norris	model: add too_many_reads flag	blob \| commitdiff \| raw \| diff to current
2012-09-08	Brian Norris	model: fix release sequence with RMW, acq vs. acq/rel	blob \| commitdiff \| raw \| diff to current
2012-09-07	Brian Norris	model: maintain a count of the pending lazy synchroniza...	blob \| commitdiff \| raw \| diff to current
2012-09-07	Brian Norris	model: group snapshottable ModelChecker members in...	blob \| commitdiff \| raw \| diff to current
2012-09-07	Brian Norris	model: force THREAD_START to immediately follow THREAD_...	blob \| commitdiff \| raw \| diff to current
2012-09-07	Brian Norris	model: fix release_seq for open-ended synchronization	blob \| commitdiff \| raw \| diff to current
2012-09-07	Brian Norris	model: use std::find for release sequence search	blob \| commitdiff \| raw \| diff to current
2012-09-07	Brian Norris	model: don't use global 'model' unnecessarily	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-07	Brian Demsky	changes	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	model: complete the Thread teardown during THREAD_FINISH	blob \| commitdiff \| raw \| diff to current
2012-09-06	Brian Norris	model: enforce rule: current_action != NULL	blob \| commitdiff \| raw \| diff to current
2012-09-06	Brian Norris	model: hook up THREAD_JOIN and THREAD_FINISH actions	blob \| commitdiff \| raw \| diff to current
2012-09-04	Brian Norris	model: document ModelChecker::check_current_action	blob \| commitdiff \| raw \| diff to current
2012-09-04	Brian Norris	model: check_current_action returns its 'nextThread'	blob \| commitdiff \| raw \| diff to current
2012-09-04	Brian Norris	model/schedule: revise 'nextThread' data flow	blob \| commitdiff \| raw \| diff to current
2012-08-25	Brian Norris	model: re-check release sequences lazily	blob \| commitdiff \| raw \| diff to current
2012-08-25	Brian Norris	model: add resolve_release_sequences() function	blob \| commitdiff \| raw \| diff to current
2012-08-25	Brian Norris	model: stash actions for lazy release-seq checking	blob \| commitdiff \| raw \| diff to current
2012-08-25	Brian Norris	model: report 'updates' when adding mo_graph edges	blob \| commitdiff \| raw \| diff to current
2012-08-25	Brian Norris	model: report status of resolved promises	blob \| commitdiff \| raw \| diff to current
2012-08-24	Brian Norris	model: add release sequence support	blob \| commitdiff \| raw \| diff to current
next

C11 Tester Tool Public Repository

RSS Atom