Code to write to array indexes#552

jberthold merged 6 commits into

masterruntimeverification/mir-semantics:masterfrom

array-index-writesruntimeverification/mir-semantics:array-index-writesCopy head branch name to clipboard