Jeremy Fitzhardinge wrote: > One could imagine someone wanting to use it in a timing loop or > something, and a 100x or 1000x slowdown might ruin their day. > But it's not really all that important. I don't really see a good > reason to not have a separate sync_core operation, but we can always > add it later if needed. I'll add it back. I didn't think about HVM issues fully...
