diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-19 07:07:46 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-19 07:07:46 +0100 |
| commit | fdb8d0c7b5a8be87a64cb995f3abf5bc60f07bfd (patch) | |
| tree | 6ff911bb630e306a552a22356e12f7517a79d744 /mppa_k1c/Machregs.v | |
| parent | a34c36161ac7bd43e128a39aaf52c15c5f923400 (diff) | |
| download | compcert-kvx-fdb8d0c7b5a8be87a64cb995f3abf5bc60f07bfd.tar.gz compcert-kvx-fdb8d0c7b5a8be87a64cb995f3abf5bc60f07bfd.zip | |
implemented -fno-postpass normally
Diffstat (limited to 'mppa_k1c/Machregs.v')
0 files changed, 0 insertions, 0 deletions