extraction/.depend · 4c8a550fae641115170e4fc9c1b1292834e0c6c0 · CertiCompil / CompCert-KVX · GitLab

Snippets Groups Projects

gricad-gitlab sera indisponible mardi 08/04/2025 entre 12h00 et 13h30 pour une opération de maintenance.

16 years ago
4c8a550f
Flag to turn on/off the recognition of fused multiply-add and multiply-sub · 4c8a550f
xleroy authored 16 years ago
```
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@706 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
```
4c8a550f

History
Flag to turn on/off the recognition of fused multiply-add and multiply-sub
xleroy authored 16 years ago
```
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@706 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
```

.depend 30.46 KiB