Improve memory model by explicitly modelling buffer copies#701

tomwhite merged 1 commit intomaincubed-dev/cubed:mainfrom

memory-model-buffer-copiescubed-dev/cubed:memory-model-buffer-copiesCopy head branch name to clipboard