diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-27 10:09:17 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-27 10:09:17 +0100 |
commit | 61639db3a2b958240d764befbb22213cb77284af (patch) | |
tree | e81541c5257e8ca1a857b670bdb2893e4cdb1265 /test/regression | |
parent | f5beb55d283078afc2ce782201aef464c10b2e8f (diff) | |
download | compcert-kvx-61639db3a2b958240d764befbb22213cb77284af.tar.gz compcert-kvx-61639db3a2b958240d764befbb22213cb77284af.zip |
put both compilers in their best mood
Diffstat (limited to 'test/regression')
0 files changed, 0 insertions, 0 deletions