diff options
| author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-07-16 18:01:03 +0200 |
|---|---|---|
| committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2021-07-16 18:01:03 +0200 |
| commit | cf033ec29391d5358dea1d3b25da1738957478c4 (patch) | |
| tree | 99b6bcb6f4fd34862b750329c55bf4810a4d3b5d /aarch64 | |
| parent | 2ff766a18432fd75739abab0b5741ded6b67a2a5 (diff) | |
| download | compcert-kvx-cf033ec29391d5358dea1d3b25da1738957478c4.tar.gz compcert-kvx-cf033ec29391d5358dea1d3b25da1738957478c4.zip | |
comment for authors
Diffstat (limited to 'aarch64')
| -rw-r--r-- | aarch64/PrepassSchedulingOracle.ml | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/aarch64/PrepassSchedulingOracle.ml b/aarch64/PrepassSchedulingOracle.ml index 53a81095..e09eea13 100644 --- a/aarch64/PrepassSchedulingOracle.ml +++ b/aarch64/PrepassSchedulingOracle.ml @@ -1,3 +1,16 @@ +(* *************************************************************) +(* *) +(* The Compcert verified compiler *) +(* *) +(* Sylvain Boulmé Grenoble-INP, VERIMAG *) +(* David Monniaux CNRS, VERIMAG *) +(* Cyril Six Kalray *) +(* Léo Gourdin UGA, VERIMAG *) +(* Nicolas Nardino ENS-Lyon, VERIMAG *) +(* *) +(* *) +(* *************************************************************) + open AST open RTL open Maps |