diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-03 22:36:22 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-03 22:36:22 +0200 |
commit | ca34ea47f863c074a9d0ca890097786c5829267c (patch) | |
tree | 52177af944305d25bcfea601f9abc57b1eef525a /cfrontend/Cstrategy.v | |
parent | 524678ff9a521433ff0b5af2a3986c1e385e699e (diff) | |
download | compcert-kvx-ca34ea47f863c074a9d0ca890097786c5829267c.tar.gz compcert-kvx-ca34ea47f863c074a9d0ca890097786c5829267c.zip |
ternary ops for float/double
Diffstat (limited to 'cfrontend/Cstrategy.v')
0 files changed, 0 insertions, 0 deletions