Defining the interfaces to add various regions to snapshot
[c11tester.git] /
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-08 Brian Norrisaction: split ModelAction off into
2012-05-08 Brian Norrismodel: free final list
2012-05-08 Brian Norrismodel: free threads, thread_map at destruction
2012-05-08 Brian Norrismodel: change DEBUG() statement to ASSERT()
2012-05-08 Brian Norrisbugfix - set backtrack events according to an *enabled...
2012-05-08 Brian Norristree: revise arguments (use Thread, ModelAction)
2012-05-03 Brian Norrismodel: bugfix - rearrange debug message
2012-05-03 Brian Norrismodel: move class Backtrack to
2012-05-03 Brian Norrisreplace non-fatal error messages with ASSERT()'s
2012-05-03 Brian Norrismodel: print replay/divergence information when startin...
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-02 Brian Norrismodel: fixup ModelAction print message
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-05-01 Brian Norristhreads: add id_to_int() and int_to_id() inline functions
2012-04-30 Brian Norrismodel: remove braces
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-27 Brian Norrismodel: backtracking messages are only for debugging
2012-04-27 Brian Norrismodel: fixup thread ID selection
2012-04-26 Brian Norrisdemote 'system_thread' to just 'system_context'
2012-04-26 Brian Norrismodel: bugfix - detect conflicts properly
2012-04-26 Brian Norrismodel: bugfix - reset the "current_action" after it...
2012-04-24 Brian Norrismodel: rename print_trace() -> print_summary(), fixup...
2012-04-24 Brian Norrisschedule: only print when DEBUG is enabled
2012-04-24 Brian Norristmp (model)
2012-04-24 Brian Norrisschedule: reset scheduler when thread is removed
2012-04-24 Brian Norristhreads: don't make direct call into scheduler
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-23 Brian Norrisimprove scheduler debugging
2012-04-20 Brian Norrismodel: add simple comment
2012-04-20 Brian Norrismodel: implement get_next_replay() and advance_backtrac...
2012-04-20 Brian Norrismodel: implement, use schedule_next_thread()
2012-04-20 Brian Norrismodel: add prototypes to header
2012-04-19 Brian Norrismodel: stash each backtrack event in ModelChecker:...
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: add TreeNode debugging information to print_trace()
2012-04-19 Brian Norrismodel: implement get_last_conflict()
2012-04-19 Brian Norrismodel: flesh out set_backtracking()
2012-04-19 Brian Norrismodel: flesh out check_current_action()
2012-04-18 Brian Norrismodel: use TreeNode()
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 Norrisscheduler: kill 'replaceable' scheduler
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-15 Brian Norrisremove unnecessary #includes
2012-03-14 Brian Norrisschedule: create 'class Scheduler' with implementation...
2012-03-14 Brian Norrismodel: use 'this' uniformly
2012-03-14 Brian Norrismodel: move model.c -->