diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-04-25 16:41:09 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-04-25 17:05:42 +0200 |
| commit | a4da014c354bff05c24210e694a3b4593d3f38ee (patch) | |
| tree | 7ba86228d422e9583e497c05c46874fa920fca7c /flocq/IEEE754 | |
| parent | 3cba5ac7477b1515502f540ff6444b6e3dc64d03 (diff) | |
| download | compcert-a4da014c354bff05c24210e694a3b4593d3f38ee.tar.gz compcert-a4da014c354bff05c24210e694a3b4593d3f38ee.zip | |
Support Coq 8.15.1
Diffstat (limited to 'flocq/IEEE754')
0 files changed, 0 insertions, 0 deletions