diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-28 10:29:42 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-28 10:29:42 +0200 |
| commit | 3a4e2750897b640d9e6be7a56091872525b5c375 (patch) | |
| tree | 00975ae630c1be6c8ebf36d563e39f38cd508d81 /.gitlab-ci.yml | |
| parent | e60a7329f97564ae7eec53c219904b174ba0ef29 (diff) | |
| download | compcert-kvx-3a4e2750897b640d9e6be7a56091872525b5c375.tar.gz compcert-kvx-3a4e2750897b640d9e6be7a56091872525b5c375.zip | |
do not use all-loads-nontrap
Diffstat (limited to '.gitlab-ci.yml')
0 files changed, 0 insertions, 0 deletions