diff options
| author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2019-04-01 18:34:22 +0200 |
|---|---|---|
| committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2019-04-01 18:34:22 +0200 |
| commit | b8f03b19adda37c1c3275ef30d7fc106d3c97e44 (patch) | |
| tree | d29351a663fc05b518f5b6940242a7144c0d7165 /mppa_k1c/abstractbb/Impure | |
| parent | 714a1fb988da03066629970325089e16dd146432 (diff) | |
| download | compcert-kvx-b8f03b19adda37c1c3275ef30d7fc106d3c97e44.tar.gz compcert-kvx-b8f03b19adda37c1c3275ef30d7fc106d3c97e44.zip | |
renommage abstractbb: Name -> PReg
Diffstat (limited to 'mppa_k1c/abstractbb/Impure')
0 files changed, 0 insertions, 0 deletions