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 /riscV | |
| parent | 88589fa168a0b73f7d82c4ad2dcf9fde9d17f439 (diff) | |
| download | compcert-kvx-4fe221a26400fcf1aaca74889afffa5d01897b13.tar.gz compcert-kvx-4fe221a26400fcf1aaca74889afffa5d01897b13.zip | |
Add `floor` and some properties
Diffstat (limited to 'riscV')
0 files changed, 0 insertions, 0 deletions