add to interpreter client ability to interrupt looping (or long running) client in the interpreter

easyuc / EasyUC

Experiments with Universal Composability in EasyCrypt

31 stars 1 forks source link

add to interpreter client ability to interrupt looping (or long running) client in the interpreter #30

Closed alleystoughton closed 11 months ago

alleystoughton commented 1 year ago

Add to interpreter client ability to interrupt looping (or long running) client in the interpreter. This will be needed because rewriting hints could loop.