Defining the interfaces to add various regions to snapshot
[c11tester.git] / threads.h
2012-05-09 Subramanian GanapathyAdding STL stuff and operator news of snapshot to model...
2012-05-03 Brian Norristhreads: add parent info + get_parent() method
2012-05-01 Brian Norristhreads: move thread_id_t definition and redefine thrd_...
2012-05-01 Brian Norristhreads: add id_to_int() and int_to_id() inline functions
2012-04-27 Brian Norristhread: remove dead Thread code
2012-04-26 Brian Norrisdemote 'system_thread' to just 'system_context'
2012-04-24 Brian Norristhreads: allocate Threads in via userMalloc()
2012-04-24 Brian Norristhreads: set up Thread to be freed properly
2012-04-24 Brian Norristhreads: save id within class Thread
2012-04-24 Brian Norrisunify style for returning pointers
2012-04-20 Brian Norristhreads: introduce THREAD_ID_T_NONE
2012-04-20 Brian Norristhreads: remove leftover class 'prototype'
2012-04-17 Brian Norrisrename threads_internal.h -> threads.h