threads_internal: add 'thread_switch_to_master()' internally
[model-checker.git] / malloc.c
2012-04-05 Brian Norrismalloc: override 'new' and 'delete' globally
2012-04-05 Brian Norrismalloc: add myMalloc() and myFree()