diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2022-02-11 10:32:15 +0100 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2022-02-11 10:32:15 +0100 |
| commit | f8d32a19caf88733a9bbeee976f5c2fc549d4f92 (patch) | |
| tree | f9640e62f85e5cd86e7e3645011e5e93f79df520 /kvx/Builtins1.v | |
| parent | b45d9ac4b98ed9ce095a1ad64a4192fea89f7b5f (diff) | |
| download | compcert-kvx-f8d32a19caf88733a9bbeee976f5c2fc549d4f92.tar.gz compcert-kvx-f8d32a19caf88733a9bbeee976f5c2fc549d4f92.zip | |
rewrite with longu -> double -> single conversions
Diffstat (limited to 'kvx/Builtins1.v')
0 files changed, 0 insertions, 0 deletions