diff options
| author | Michael Schmidt <github@mschmidt.me> | 2019-07-09 15:29:58 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2019-07-10 10:56:45 +0200 |
| commit | a8c84a5270b7620c6555e58d0338afd9405bc2b2 (patch) | |
| tree | 894080288ad9ef0fcc23d2803ee092740d964608 /lib/Floats.v | |
| parent | fcbd9addf6f8c10822294dc397d13af10b9d52f2 (diff) | |
| download | compcert-kvx-a8c84a5270b7620c6555e58d0338afd9405bc2b2.tar.gz compcert-kvx-a8c84a5270b7620c6555e58d0338afd9405bc2b2.zip | |
More precise description of '-O0' and 'non-linear-cond-expr'
Diffstat (limited to 'lib/Floats.v')
0 files changed, 0 insertions, 0 deletions