diff options
| author | Robert Norton | 2017-01-26 13:59:36 +0000 |
|---|---|---|
| committer | Robert Norton | 2017-01-26 13:59:52 +0000 |
| commit | d761de19d1b6194f1f7a86cb4fbf1a549d252a1e (patch) | |
| tree | ae00eec93159ddb0568665fc80b9c0a094f962b7 /src/sail_lib.ml | |
| parent | edfa323d992916541bbaa0d25a0088d60ee7288f (diff) | |
c128: xor E with 48 when storing in memory so that null cap is all zeros but has non-zero E (latest spec.)
Diffstat (limited to 'src/sail_lib.ml')
0 files changed, 0 insertions, 0 deletions