diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2020-11-02 17:20:06 +0100 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2020-11-02 17:20:06 +0100 |
commit | d7f2f5bef8853641db9505d8f882150b15ac106f (patch) | |
tree | 0c8166682c16e1921fc39956aa4351277c68c408 /aarch64/Asmgen.v | |
parent | b4d230adb164cc1b1648ae6805c0625d6e4b7b14 (diff) | |
download | compcert-kvx-d7f2f5bef8853641db9505d8f882150b15ac106f.tar.gz compcert-kvx-d7f2f5bef8853641db9505d8f882150b15ac106f.zip |
Author and stash single label Asmgenproof after merge
Diffstat (limited to 'aarch64/Asmgen.v')
-rw-r--r-- | aarch64/Asmgen.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/aarch64/Asmgen.v b/aarch64/Asmgen.v index 33fcf34b..c25454e0 100644 --- a/aarch64/Asmgen.v +++ b/aarch64/Asmgen.v @@ -7,6 +7,7 @@ (* Xavier Leroy INRIA Paris-Rocquencourt *) (* David Monniaux CNRS, VERIMAG *) (* Cyril Six Kalray *) +(* Léo Gourdin UGA, VERIMAG *) (* *) (* Copyright Kalray. Copyright VERIMAG. All rights reserved. *) (* This file is distributed under the terms of the INRIA *) |