diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-02-12 16:24:56 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-02-12 16:24:56 +0100 |
commit | 41109bd86942b028240ac20758ff29853b025534 (patch) | |
tree | 71e37e2c7a2733da4e637d4242bd4d54964673fc /test/mppa/test.sh | |
parent | 0a56ab26bc776468e6cf462cb5136fd62d4eb44a (diff) | |
download | compcert-kvx-41109bd86942b028240ac20758ff29853b025534.tar.gz compcert-kvx-41109bd86942b028240ac20758ff29853b025534.zip |
Added Osingleofint
Diffstat (limited to 'test/mppa/test.sh')
0 files changed, 0 insertions, 0 deletions