diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-09-24 14:39:49 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-09-24 14:39:49 +0200 |
commit | 6087efa0b68ae3a1b003dac86970719728976395 (patch) | |
tree | 86ab889c31888263dbf9e3177fa90a62c0896fad /README | |
parent | 795485179071254bfab493dd6733d45b8f272900 (diff) | |
download | compcert-6087efa0b68ae3a1b003dac86970719728976395.tar.gz compcert-6087efa0b68ae3a1b003dac86970719728976395.zip |
Refactoring in the printing of FP numbers.
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions