Add TLA+ formal specifications for bytecode tape optimizer#53

gvonness-apolitical merged 1 commit intomainEntrolution/echidna:mainfrom

feat/tla-specs-tape-optimizerEntrolution/echidna:feat/tla-specs-tape-optimizerCopy head branch name to clipboard