diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-03 13:16:27 +0100 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2015-11-03 13:16:27 +0100 |
| commit | 0c999140e3eb696580282375e06fc13d64f6103a (patch) | |
| tree | 6d6ab9d24dab282bc5727890cd1b46930b94b52f /debug | |
| parent | 7cef0b2872b00343c5dd0f94440ce245f6b5e422 (diff) | |
| download | compcert-kvx-0c999140e3eb696580282375e06fc13d64f6103a.tar.gz compcert-kvx-0c999140e3eb696580282375e06fc13d64f6103a.zip | |
Changed the name of a few ppc instructions. Bug 17544
Diffstat (limited to 'debug')
0 files changed, 0 insertions, 0 deletions