diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-05-12 19:17:14 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-08-07 10:38:34 +0200 |
commit | 659c06eb4fabce59751476ddeb2e065759f19765 (patch) | |
tree | 651e01cae97493e517b23b1c27ffec98f2463721 /common/Sections.ml | |
parent | 8be12dfcd60d40cc5ba90657bc6a2f5528b45e55 (diff) | |
download | compcert-659c06eb4fabce59751476ddeb2e065759f19765.tar.gz compcert-659c06eb4fabce59751476ddeb2e065759f19765.zip |
Values: add functions for zero- and sign-extension of 64-bit integers
Diffstat (limited to 'common/Sections.ml')
0 files changed, 0 insertions, 0 deletions