diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-22 11:49:03 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-22 11:49:03 +0100 |
| commit | e6b57a54a4449e0c6239ef56984b1ecbf2b3c792 (patch) | |
| tree | c3480bccd38d2fbff0a69d9561e279e291eb3b32 /x86 | |
| parent | 75ca8b4dcb1dbc75feccd2b53ebf5acdee51f3d3 (diff) | |
| download | compcert-kvx-e6b57a54a4449e0c6239ef56984b1ecbf2b3c792.tar.gz compcert-kvx-e6b57a54a4449e0c6239ef56984b1ecbf2b3c792.zip | |
better patch for running the test suite
Diffstat (limited to 'x86')
0 files changed, 0 insertions, 0 deletions