Merged
CSE Machine: Avoid pushing unnecessary env instructions (exhaustive version)#1706martin-henz merged 29 commits intomasterfrom cse-machine-simplify-env-instr
martin-henz merged 29 commits intomasterfrom cse-machine-simplify-env-instr
CSE Machine: Avoid pushing unnecessary env instructions (exhaustive version)#1706
Merged
martin-henz merged 29 commits intomasterfrom cse-machine-simplify-env-instrSep 11, 2024