diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-07-07 17:29:12 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-07-17 09:16:00 +0200 |
commit | dc5dc1da4cfa10647d13f393b6685f962b9b9faa (patch) | |
tree | 0a1dca02bca179e8ce5471b5efb60f7b596ad768 /runtime/Makefile | |
parent | 1574cf218bba4372be01c3e4f75e356fadf6f118 (diff) | |
download | compcert-dc5dc1da4cfa10647d13f393b6685f962b9b9faa.tar.gz compcert-dc5dc1da4cfa10647d13f393b6685f962b9b9faa.zip |
Add FMA (fused multiply-add)
Cherry-pick of the following commit on upstream Flocq:
https://gitlab.inria.fr/flocq/flocq/commit/28cc6ee3a278878f3df002aab64a6b93e9412d34
Diffstat (limited to 'runtime/Makefile')
0 files changed, 0 insertions, 0 deletions