Add alternate proposal for segment init.#79

Merged

binji merged 3 commits intomasterfrom cond-segment-instr

Nov 18, 2017

+77

Commits on Nov 15, 2017

Add alternate proposal for segment init.
binji
authored

Commits on Nov 17, 2017

Address comments
binji
committed

Commits on Nov 18, 2017

Re-add paragraph about init instrs+start function
binji
committed