diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-13 16:44:31 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-13 16:44:31 +0100 |
commit | b058fc94f5eb6386550f3407f45afeb01381e1ff (patch) | |
tree | a45047e11b47420a7d41675e0ddbb3b42046a2a0 /LICENSE | |
parent | b32404e4b21161e9bfe5d0b15948ba27564f8f8e (diff) | |
download | vericert-b058fc94f5eb6386550f3407f45afeb01381e1ff.tar.gz vericert-b058fc94f5eb6386550f3407f45afeb01381e1ff.zip |
Remove "active_call" from HTL semantics
added previously to support the fork/wait/join HTL instructions which
have since been removed
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions