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

2012-05-21	Brian Norris	fix indentation + spacing, esp. for MEMALLOC macro	blob \| commitdiff \| raw
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
2012-04-19	Brian Norris	model: add accessors for ModelAction variables	blob \| commitdiff \| raw \| diff to current
2012-04-18	Brian Norris	model: use TreeNode()	blob \| commitdiff \| raw \| diff to current
2012-04-17	Brian Norris	rename threads_internal.h -> threads.h	blob \| commitdiff \| raw \| diff to current
2012-04-17	Brian Norris	threads/model: move switch_to_master from class Thread...	blob \| commitdiff \| raw \| diff to current
2012-04-16	Brian Norris	major rewrite - 'struct thread' replaced with internal...	blob \| commitdiff \| raw \| diff to current
2012-04-10	Brian Norris	model: add print_trace() function	blob \| commitdiff \| raw \| diff to current
2012-04-10	Brian Norris	model: add check_current_action() function	blob \| commitdiff \| raw \| diff to current
2012-04-10	Brian Norris	threads_internal: pass the current 'action' to the...	blob \| commitdiff \| raw \| diff to current
2012-04-10	Brian Norris	model: add class ModelAction	blob \| commitdiff \| raw \| diff to current
2012-03-14	Brian Norris	schedule: create 'class Scheduler' with implementation...	blob \| commitdiff \| raw \| diff to current
2012-03-14	Brian Norris	model: change 'struct model_checker' to 'class ModelChe...	blob \| commitdiff \| raw \| diff to current
2012-03-13	Brian Norris	model: add thread ID assignment function	blob \| commitdiff \| raw \| diff to current
2012-03-12	Brian Norris	model: move 'main_thread' to model_checker struct	blob \| commitdiff \| raw \| diff to current
2012-03-12	Brian Norris	model: add global model_checker initialization	blob \| commitdiff \| raw \| diff to current
2012-03-12	Brian Norris	schedule: add replaceable scheduler struct	blob \| commitdiff \| raw \| diff to current
2012-03-10	Brian Norris	model: add stub model.[hc] files	blob \| commitdiff \| raw \| diff to current

C++11 memory model checker

RSS Atom