diff options
| author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2021-12-04 12:15:42 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-04-25 16:39:52 +0200 |
| commit | 3cba5ac7477b1515502f540ff6444b6e3dc64d03 (patch) | |
| tree | bb6d092490893a81d1121cc83f6c793c4ad0d023 /flocq/IEEE754 | |
| parent | 111fda0f629b68138f9d816a4e6a86f7c292f2a2 (diff) | |
| download | compcert-3cba5ac7477b1515502f540ff6444b6e3dc64d03.tar.gz compcert-3cba5ac7477b1515502f540ff6444b6e3dc64d03.zip | |
Make Coq 8.12.0 the minimal version.
Otherwise, BinarySingleNaN.Bleb_correct cannot be proved.
Diffstat (limited to 'flocq/IEEE754')
0 files changed, 0 insertions, 0 deletions