Scheduler as a thread. Working on calling pthread_create with application thread ID as argument.
Unique in-application thread ID based on creation order, scheduler is a thread working in a loop, collecting tasks of all registered threads, allowing to collect next transitions for all threads.
Scheduler outputs next transitions for each thread at every schedule loop iteration.Termination of schedule loop works.
Fixed program crash from not joining scheduler thread at end of main.
Repository contains only files related to the RecordReplay pass.