[Dijkstra] Implement legacy-mode for V1-V3 Plutus scripts#1049

carlostome wants to merge 1 commit intomasterIntersectMBO/formal-ledger-specifications:masterfrom

carlos/implement-legacy-modeIntersectMBO/formal-ledger-specifications:carlos/implement-legacy-modeCopy head branch name to clipboard