diff options
| author | Robert Norton | 2018-06-04 15:12:13 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-06-04 15:12:27 +0100 |
| commit | a498df208e75ad0ae84c7697547600c221224316 (patch) | |
| tree | 39924fc9388ee7a16496a46a60f16df0fb12d21d /language/bytecode.ott | |
| parent | 51f621e7e215c30fa9742f84f43de52dacc4aee0 (diff) | |
switch to using a Map data structure for cheri tags in ocaml backend. This solves a problem where the Hashtbl module was encountering a stack overflow booting CheriBSD. There seems to be little or no performance impact.
Diffstat (limited to 'language/bytecode.ott')
0 files changed, 0 insertions, 0 deletions