Improve handling of extend lifetime promises#1049

Merged

jungkees merged 4 commits intomasterfrom sw-lifetime-extension

Jan 11, 2017

+293-383

Commits on Jan 5, 2017

Improve handling of extend lifetime promises
jungkees
committed

Commits on Jan 9, 2017

Commits on Jan 11, 2017

Designate task source; use reacting to promise instead of wait in parallel
jungkees
committed