Keep the receipts: interned index tracking for deterministic normalization#143

dkcumming merged 3 commits into

master-stagingruntimeverification/stable-mir-json:master-stagingfrom

stack/pr2-receiptsruntimeverification/stable-mir-json:stack/pr2-receiptsCopy head branch name to clipboard