Optimize symbolic heap - #208

Optimize symbolic heap#208

sorawee wants to merge 2 commits into

emina:masteremina/rosette:masterfrom

sorawee:opt-symbolic-heapsorawee/rosette:opt-symbolic-heapCopy head branch name to clipboard