diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-07-26 11:39:36 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-07-26 16:01:52 +0200 |
commit | 4fe221a26400fcf1aaca74889afffa5d01897b13 (patch) | |
tree | 730b4d2847c50972b34cb12a3b92f4a155da1e83 /exportclight | |
parent | 88589fa168a0b73f7d82c4ad2dcf9fde9d17f439 (diff) | |
download | compcert-4fe221a26400fcf1aaca74889afffa5d01897b13.tar.gz compcert-4fe221a26400fcf1aaca74889afffa5d01897b13.zip |
Add `floor` and some properties
Diffstat (limited to 'exportclight')
0 files changed, 0 insertions, 0 deletions