diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-03-22 11:32:19 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-03-22 11:32:19 +0100 |
commit | 0edb9804b295e2cb332f86c252de70fa8e760710 (patch) | |
tree | 2ca06337be72d5dfa1dbff29b01a24bf864ba46b /backend | |
parent | f91b605c7dfea8b993f25acc3e5badca36d86fa6 (diff) | |
download | compcert-kvx-0edb9804b295e2cb332f86c252de70fa8e760710.tar.gz compcert-kvx-0edb9804b295e2cb332f86c252de70fa8e760710.zip |
Rajout de tests test/mppa pour division/modulo
Diffstat (limited to 'backend')
0 files changed, 0 insertions, 0 deletions