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

2012-09-07	Brian Demsky	changes	blob \| commitdiff \| raw
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
2012-05-15	Brian Norris	model: replace TreeNode with NodeStack	blob \| commitdiff \| raw \| diff to current
2012-05-15	Subramanian Ganapathy	Defining the interfaces to add various regions to snapshot	blob \| commitdiff \| raw \| diff to current
2012-05-14	Brian Norris	model: merge advance_backtracking_state() and get_next_...	blob \| commitdiff \| raw \| diff to current
2012-05-10	Subramanian Ganapathy	Initializing variable which contains global snapshottin...	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-03	Brian Norris	model: move class Backtrack to model.cc	blob \| commitdiff \| raw \| diff to current
2012-05-03	Brian Norris	model: split printing into print_list() function	blob \| commitdiff \| raw \| diff to current
2012-05-02	Brian Norris	model: number threads from 0, not 1	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	model: index thread_map by int, not thread_id_t	blob \| commitdiff \| raw \| diff to current
2012-05-01	Brian Norris	model: change type for ModelChecker::get_id()	blob \| commitdiff \| raw \| diff to current
2012-04-30	Brian Norris	split header out to action.h	blob \| commitdiff \| raw \| diff to current
2012-04-29	Brian Norris	model: add is_acquire() and is_release() helper functions	blob \| commitdiff \| raw \| diff to current
2012-04-29	Brian Norris	model: wrap some ModelAction helper functions	blob \| commitdiff \| raw \| diff to current
2012-04-26	Brian Norris	demote 'system_thread' to just 'system_context'	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	model: remove unused definition	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	model: rename print_trace() -> print_summary(), fixup...	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	tmp (model)	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	schedule: reset scheduler when thread is removed	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	threads: save id within class Thread	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	unify style for returning pointers	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	model: print 'number of executions'	blob \| commitdiff \| raw \| diff to current
2012-04-24	Brian Norris	threads: prepare system to loop over many executions	blob \| commitdiff \| raw \| diff to current
2012-04-20	Brian Norris	model: move public functions to private	blob \| commitdiff \| raw \| diff to current
2012-04-20	Brian Norris	model: add prototypes to header	blob \| commitdiff \| raw \| diff to current
2012-04-20	Brian Norris	model: add iteration routines for class Backtrack	blob \| commitdiff \| raw \| diff to current
2012-04-20	Brian Norris	model: include <cstddef>	blob \| commitdiff \| raw \| diff to current
2012-04-19	Brian Norris	model: stash each backtrack event in ModelChecker:...	blob \| commitdiff \| raw \| diff to current
2012-04-19	Brian Norris	model: add class Backtrack	blob \| commitdiff \| raw \| diff to current
2012-04-19	Brian Norris	model: create 'action_list_t' typedef	blob \| commitdiff \| raw \| diff to current
2012-04-19	Brian Norris	model: convert 'action_trace' to pointer	blob \| commitdiff \| raw \| diff to current
2012-04-19	Brian Norris	model: flesh out set_backtracking()	blob \| commitdiff \| raw \| diff to current
2012-04-19	Brian Norris	model: flesh out check_current_action()	blob \| commitdiff \| raw \| diff to current
next

C11 Tester Tool Public Repository

RSS Atom