diff options
| author | Robert Norton | 2018-03-14 16:05:37 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-03-14 18:04:09 +0000 |
| commit | 26c7468c15c15424535afebc12e995a3a746476f (patch) | |
| tree | eef4818c21d114150e781056fccd0a0017c33e39 /src/reporting_basic.ml | |
| parent | 4c3579a6e4bd10e05f381235e4827b945553d0c1 (diff) | |
rename EXTS and EXTZ to sign_extend and zero_extend because it is more obviosu and to more closely match existing cheri pseudocode.
Diffstat (limited to 'src/reporting_basic.ml')
0 files changed, 0 insertions, 0 deletions