diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 20:13:49 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-03-27 20:13:49 +0100 |
| commit | 96482f7df095e6244c414a14b07771dbaef67aec (patch) | |
| tree | 40164ff9b2f8cd15b175d70944ced8cebcd79346 /aarch64/Asmgen.v | |
| parent | b1cd0ff83ec434b09195fe16eebaa8e73fb9c39b (diff) | |
| download | compcert-kvx-96482f7df095e6244c414a14b07771dbaef67aec.tar.gz compcert-kvx-96482f7df095e6244c414a14b07771dbaef67aec.zip | |
Run tests on various targets in addition to compiling
Diffstat (limited to 'aarch64/Asmgen.v')
0 files changed, 0 insertions, 0 deletions