hook up the race detector...
[model-checker.git] / model.h
2012-07-10 Brian Demskyhook up the race detector...
2012-07-07 Brian NorrisMerge branch 'datarace'
2012-07-06 Brian Norristrivial changes
2012-07-06 Brian Norrismodel: make set_current_action() private
2012-07-06 Brian Norrisclock: add modelclock_t typedef, use 'unsigned int'
2012-07-03 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-07-03 Brian NorrisMerge branch 'brian'
2012-06-21 Brian Norrismodel: make print_list() into a static C function
2012-06-21 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-06-21 Brian NorrisMerge branch 'sandbox' (remove finalize())
2012-06-21 Brian Norrismodel: add build_reads_from_past() function
2012-06-15 Brian DemskyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-06-15 Brian Norrisadd more documentation
2012-06-06 Brian Demsky1) Add more comments.
2012-05-30 Subramanian GanapathyMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2012-05-29 Brian Norrismodel: thread creation establishes synchronization
2012-05-28 Brian Norrismodel: move bookkeeping to add_action_to_lists()
2012-05-28 Brian Norrismodel: log the last action in each thread
2012-05-26 Brian Norrismodel: add obj_thrd_map
2012-05-26 Brian Norrismodel: add get_num_threads()
2012-05-26 Brian Norrismodel: make thread_map heap allocated
2012-05-25 Brian Norrisadd more classes to snapshotting region
2012-05-21 Brian Norrisfix indentation + spacing, esp. for MEMALLOC macro
2012-05-21 Brian NorrisMerge commit: branch 'work'
2012-05-18 Brian Demskymerging stuff...made need to clean up some stuff.....
2012-05-15 Brian Norrismodel: replace TreeNode with NodeStack
2012-05-15 Subramanian GanapathyDefining the interfaces to add various regions to snapshot
2012-05-14 Brian Norrismodel: merge advance_backtracking_state() and get_next_...
2012-05-10 Subramanian GanapathyInitializing variable which contains global snapshottin...
2012-05-09 Subramanian GanapathyAdding STL stuff and operator news of snapshot to model...
2012-05-03 Brian Norrismodel: move class Backtrack to model.cc
2012-05-03 Brian Norrismodel: split printing into print_list() function
2012-05-02 Brian Norrismodel: number threads from 0, not 1
2012-05-02 Brian Norrismodel: add sequence numbers to ModelAction
2012-05-01 Brian Norrismodel: index thread_map by int, not thread_id_t
2012-05-01 Brian Norrismodel: change type for ModelChecker::get_id()
2012-04-30 Brian Norrissplit header out to action.h
2012-04-29 Brian Norrismodel: add is_acquire() and is_release() helper functions
2012-04-29 Brian Norrismodel: wrap some ModelAction helper functions
2012-04-26 Brian Norrisdemote 'system_thread' to just 'system_context'
2012-04-24 Brian Norrismodel: remove unused definition
2012-04-24 Brian Norrismodel: rename print_trace() -> print_summary(), fixup...
2012-04-24 Brian Norristmp (model)
2012-04-24 Brian Norrisschedule: reset scheduler when thread is removed
2012-04-24 Brian Norristhreads: save id within class Thread
2012-04-24 Brian Norrisunify style for returning pointers
2012-04-24 Brian Norrismodel: print 'number of executions'
2012-04-24 Brian Norristhreads: prepare system to loop over many executions
2012-04-20 Brian Norrismodel: move public functions to private
2012-04-20 Brian Norrismodel: add prototypes to header
2012-04-20 Brian Norrismodel: add iteration routines for class Backtrack
2012-04-20 Brian Norrismodel: include <cstddef>
2012-04-19 Brian Norrismodel: stash each backtrack event in ModelChecker:...
2012-04-19 Brian Norrismodel: add class Backtrack
2012-04-19 Brian Norrismodel: create 'action_list_t' typedef
2012-04-19 Brian Norrismodel: convert 'action_trace' to pointer
2012-04-19 Brian Norrismodel: flesh out set_backtracking()
2012-04-19 Brian Norrismodel: flesh out check_current_action()
2012-04-19 Brian Norrismodel: add accessors for ModelAction variables
2012-04-18 Brian Norrismodel: use TreeNode()
2012-04-17 Brian Norrisrename threads_internal.h -> threads.h
2012-04-17 Brian Norristhreads/model: move switch_to_master from class Thread...
2012-04-16 Brian Norrismajor rewrite - 'struct thread' replaced with internal...
2012-04-10 Brian Norrismodel: add print_trace() function
2012-04-10 Brian Norrismodel: add check_current_action() function
2012-04-10 Brian Norristhreads_internal: pass the current 'action' to the...
2012-04-10 Brian Norrismodel: add class ModelAction
2012-03-14 Brian Norrisschedule: create 'class Scheduler' with implementation...
2012-03-14 Brian Norrismodel: change 'struct model_checker' to 'class ModelChe...
2012-03-13 Brian Norrismodel: add thread ID assignment function
2012-03-12 Brian Norrismodel: move 'main_thread' to model_checker struct
2012-03-12 Brian Norrismodel: add global model_checker initialization
2012-03-12 Brian Norrisschedule: add replaceable scheduler struct
2012-03-10 Brian Norrismodel: add stub model.[hc] files