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 /backend/Asmgenproof0.v | |
| parent | 8be12dfcd60d40cc5ba90657bc6a2f5528b45e55 (diff) | |
| download | compcert-kvx-659c06eb4fabce59751476ddeb2e065759f19765.tar.gz compcert-kvx-659c06eb4fabce59751476ddeb2e065759f19765.zip | |
Values: add functions for zero- and sign-extension of 64-bit integers
Diffstat (limited to 'backend/Asmgenproof0.v')
0 files changed, 0 insertions, 0 deletions