diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-11-08 16:24:50 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-11-08 16:24:50 +0100 |
commit | cc1480ca6a68b2bb6db1bf5e292da07f47d6705e (patch) | |
tree | 2b4de3ac3af0687d394b9d18e5270e40cc331f54 /test/mppa/lib | |
parent | 88f6f275015eaa0ab5aac58eae93d2fa5e8f6b48 (diff) | |
download | compcert-kvx-cc1480ca6a68b2bb6db1bf5e292da07f47d6705e.tar.gz compcert-kvx-cc1480ca6a68b2bb6db1bf5e292da07f47d6705e.zip |
Proved MBstore -> all instructions are proved
Diffstat (limited to 'test/mppa/lib')
0 files changed, 0 insertions, 0 deletions