SIL Ownership Model Proposal (Refreshed)

This is a refreshed proposal for the SIL ownership model that attempts to take what is currently in tree and rephrase the concepts into higher level concepts that are not based on the needs of the internal implementation details of the SIL ownership verifier. Below is an inline version and an online HTML version of the document is available here: https://gottesmm.github.io/drafts/sil-ownership-model/ Table of Contents Abstract Ownership SSA Form SIL Changes for OSSA Functions SILValue Ope...