Skip to content

Removed `skipN` instruction in `send` implementation

Jonas Kastberg requested to merge later_strip into master

Removed the skipN instruction in the send implementation, by leveraging a potential extension of Iris HeapLang, that allows stripping multiple laters during one atomic step.

Edited by Jonas Kastberg

Merge request reports