diff options
| author | Brian Campbell | 2020-08-27 13:10:18 +0100 |
|---|---|---|
| committer | Brian Campbell | 2020-08-27 13:10:18 +0100 |
| commit | 005990f1726719fa7d9f8f2d56fe8aaa7128f376 (patch) | |
| tree | 79371c72a1f1c3b51b2fe2d033a8cdedbc6a2f09 /src/splice.ml | |
| parent | 0859ca09e733f900ec866f129d823f754a6acbae (diff) | |
Perform truncation of hex literals for C backend (really for isla)
For example, if a 129-bit capability is given as a 132-bit hex literal
and truncated, this produces a 129-bit binary literal. In isla, this will
keep all of the computation concrete because 129-bit concrete values are
supported.
Diffstat (limited to 'src/splice.ml')
0 files changed, 0 insertions, 0 deletions