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

cds-amal wants to merge 1 commit into

masterruntimeverification/stable-mir-json:masterfrom

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