diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-13 20:34:45 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-13 20:34:45 +0200 |
| commit | 14cb39a563f56c852d8dacbbfa9604a722079e49 (patch) | |
| tree | afa7442f8e95071d0bcac3c1344d8cf9140c6cf8 /coq | |
| parent | b19288248802ec3f3e1adbf734655068c5559052 (diff) | |
| download | compcert-kvx-14cb39a563f56c852d8dacbbfa9604a722079e49.tar.gz compcert-kvx-14cb39a563f56c852d8dacbbfa9604a722079e49.zip | |
code for checking IEEE-754 exceptions
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions