summaryrefslogtreecommitdiff
path: root/language/bytecode.ott
diff options
context:
space:
mode:
authorRobert Norton2018-03-06 16:53:06 +0000
committerRobert Norton2018-03-06 16:53:06 +0000
commit29686e8e3ce511b3c6834e797381b0724f1e27a1 (patch)
tree7d52e270a8e93ba2b953ffe55e0622e2c7f1777b /language/bytecode.ott
parentafd2eb53449df925a863211af9d7a9cae56d88a2 (diff)
Add missing checks for permit_load and permit_store in capability load/store instructions. Fixes fairly long-standing hole in architecture spotted by Kyndylan.
Diffstat (limited to 'language/bytecode.ott')
0 files changed, 0 insertions, 0 deletions