munta icon indicating copy to clipboard operation
munta copied to clipboard
verified publisher icon wimmers

Support for ADD & friends

Open wimmers opened this issue 8 years ago • 0 comments

Instructions that could get stuck in case there are not enough elements on the stack are not supported at the moment. In principle, this should not be a problem since we can assume that runs do not get stuck for the relevant preconditions that we need to guarantee.

wimmers avatar Jun 20 '17 08:06 wimmers