diff options
| author | Robert Norton | 2017-06-22 10:36:50 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-06-22 10:36:50 +0100 |
| commit | 122d572397571c60f3857ad7342b469da57153d6 (patch) | |
| tree | 5c72afc078b5ee78711a6b65aa5426a2742f9b1b /src/pp.mli | |
| parent | 37620cb56337d3846801f992c93e0eea7bb86719 (diff) | |
revised ccopytype with check for offset being in bounds and clearing tag instead of using magic value if unsealed. Also corresponding CCSeal instruction which degrades to a cmove if ct.tag is unset.
Diffstat (limited to 'src/pp.mli')
0 files changed, 0 insertions, 0 deletions