diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-05-30 17:41:25 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-05-30 17:41:25 +0200 |
| commit | 616f796999a47aa12aa60b0dc39274dd4fe7a2ca (patch) | |
| tree | 0e2271997dd8f5c265e4559475676256531182b6 /test/mppa | |
| parent | 8acbfc64cd77d911076aec57e8e0a558b36e448f (diff) | |
| download | compcert-kvx-616f796999a47aa12aa60b0dc39274dd4fe7a2ca.tar.gz compcert-kvx-616f796999a47aa12aa60b0dc39274dd4fe7a2ca.zip | |
WIP - Trying to add builtins support. They are not detected for now :(
Diffstat (limited to 'test/mppa')
0 files changed, 0 insertions, 0 deletions