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

2012-09-19	Brian Demsky	fix	blob \| commitdiff \| raw
2012-09-19	Brian Norris	model: replace list type with action_list_t	blob \| commitdiff \| raw
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-18	Brian Norris	model: move init code to ModelChecker::initialize_curr_...	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: 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-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-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	Merge remote-tracking branch 'origin/makefile'	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	missing changes	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 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-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-11	Brian Norris	main: add "maxreads" parameter	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 Demsky	changes	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 Demsky	working towards making datarace detection work	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: 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
2012-08-24	Brian Norris	model: change pointer spacing style	blob \| commitdiff \| raw \| diff to current
2012-08-21	Brian Norris	model: correct mo_graph comment	blob \| commitdiff \| raw \| diff to current
2012-08-20	Brian Norris	model: document ModelChecker::mo_graph	blob \| commitdiff \| raw \| diff to current
2012-08-20	Brian Norris	model: rename 'cyclegraph' to 'mo_graph'	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	model: privatize check_current_action()	blob \| commitdiff \| raw \| diff to current
2012-08-16	Brian Norris	main, model: don't 'initialize' system_context	blob \| commitdiff \| raw \| diff to current
2012-08-16	Brian Norris	model: remove useless return code from add_thread()	blob \| commitdiff \| raw \| diff to current
2012-08-16	Brian Norris	model: make scheduler private	blob \| commitdiff \| raw \| diff to current
2012-08-16	Brian Norris	main, model: move main execution loop into ModelChecker...	blob \| commitdiff \| raw \| diff to current
2012-08-11	Brian Norris	model: revert unnecessary parameter for print_summary()	blob \| commitdiff \| raw \| diff to current
2012-08-11	Brian Norris	add basic parameter handling	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Norris	model: do not call isfinalfeasible() too many times	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	forgot about events that happen after an unresolved...	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Norris	fixup whitespace	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	finish promise support	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	more changes towards keeping track of promises resolved...	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	changes	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	some changes towards reading from future writes	blob \| commitdiff \| raw \| diff to current
2012-08-02	Brian Demsky	switch everything over to our own hashtable	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	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-31	Brian Demsky	model: add support for modification orders	blob \| commitdiff \| raw \| diff to current
2012-07-13	Brian Norris	model: remove unused #include	blob \| commitdiff \| raw \| diff to current
2012-07-13	Brian Norris	model: add ModelChecker::get_last_seq_cst()	blob \| commitdiff \| raw \| diff to current
2012-07-12	Brian Norris	model: add per-object action lists (obj_map)	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	remove EOL spaces, fix indentation	blob \| commitdiff \| raw \| diff to current
2012-07-10	Brian Demsky	hook up the race detector...	blob \| commitdiff \| raw \| diff to current
2012-07-07	Brian Norris	Merge branch 'datarace'	blob \| commitdiff \| raw \| diff to current
2012-07-06	Brian Norris	trivial changes	blob \| commitdiff \| raw \| diff to current
2012-07-06	Brian Norris	model: make set_current_action() private	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-06-21	Brian Norris	model: make print_list() into a static C function	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	Merge branch 'sandbox' (remove finalize())	blob \| commitdiff \| raw \| diff to current
2012-06-21	Brian Norris	model: add build_reads_from_past() function	blob \| commitdiff \| raw \| diff to current
2012-06-15	Brian Demsky	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2012-06-15	Brian Norris	add more documentation	blob \| commitdiff \| raw \| diff to current
2012-06-06	Brian Demsky	1) Add more comments.	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	model: thread creation establishes synchronization	blob \| commitdiff \| raw \| diff to current
2012-05-28	Brian Norris	model: move bookkeeping to add_action_to_lists()	blob \| commitdiff \| raw \| diff to current
2012-05-28	Brian Norris	model: log the last action in each thread	blob \| commitdiff \| raw \| diff to current
2012-05-26	Brian Norris	model: add obj_thrd_map	blob \| commitdiff \| raw \| diff to current
2012-05-26	Brian Norris	model: add get_num_threads()	blob \| commitdiff \| raw \| diff to current
2012-05-26	Brian Norris	model: make thread_map heap allocated	blob \| commitdiff \| raw \| diff to current
2012-05-25	Brian Norris	add more classes to snapshotting region	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
next

C++11 memory model checker

RSS Atom