Defining the interfaces to add various regions to snapshot
[c11tester.git] / model.h
2012-05-15 Subramanian GanapathyDefining the interfaces to add various regions to snapshot
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
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