- bugfix: round robin scheduling now does work; before only shadowedthread_list_head was active.
shut off debugging messages in shadowing scheduler
Integrated measurements of detection latency and error detection offline times.
some tidy up and fixing of error messages
- removing unused functionality from shadowing system
- adopted changes to demo application
Minor bug fixes and removal of compile warnings.
Reworked timing measurements to allow for negative delays: when shadow finishes earlier than TUO.
Added trans-modal operation to sort_demo and benchmark scripts.