ID the heap and automatic variables consistenty instead of using their addresses.
Support for manual parallelization of sequential C programs.
Status: Beta
Brought to you by:
mtla