diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-14 19:11:38 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2021-01-14 19:11:38 +0100 |
commit | 0895388e7ebf9c9f3176d225107e21968919fb97 (patch) | |
tree | 3ee09d6ec2b77f9c4c312ad4824aa3b945102a0c /runtime/c/i64_stof.c | |
parent | 88567ce6d247562a9fa9151eaa32f7ad63ea37c0 (diff) | |
download | compcert-0895388e7ebf9c9f3176d225107e21968919fb97.tar.gz compcert-0895388e7ebf9c9f3176d225107e21968919fb97.zip |
Coq 8.13.0 is supported
However it produces new warnings that should be investigated later.
Diffstat (limited to 'runtime/c/i64_stof.c')
0 files changed, 0 insertions, 0 deletions