Support machine arithmetic types on the heap#59

zafer-esen merged 1 commit intomasteruuverifiers/tricera:masterfrom

heap-ilp-fixuuverifiers/tricera:heap-ilp-fixCopy head branch name to clipboard