diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-06-06 17:56:10 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-06-06 17:56:10 +0200 |
| commit | ddb2c968e6c57d2117434f169471d87f643d831a (patch) | |
| tree | f904f84508923c168b922a0d2945ff8f08a7bce9 /cparser | |
| parent | 5ff8ebb7eea2f1aee002863b97690817c6ba61cb (diff) | |
| download | compcert-kvx-ddb2c968e6c57d2117434f169471d87f643d831a.tar.gz compcert-kvx-ddb2c968e6c57d2117434f169471d87f643d831a.zip | |
Added Pfmovite to list of known mnemonic names.
Diffstat (limited to 'cparser')
0 files changed, 0 insertions, 0 deletions