diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-12-11 16:37:26 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-12-11 16:37:26 +0100 |
commit | e11a1b3ccac5cb60472ad507a71b0600ac3b5f8f (patch) | |
tree | 3853554392c50790b60f09db5745f50768da0e60 /test | |
parent | ec1d36a68e3bb7d217c8ce2cf81025f4ab3e454d (diff) | |
download | compcert-kvx-e11a1b3ccac5cb60472ad507a71b0600ac3b5f8f.tar.gz compcert-kvx-e11a1b3ccac5cb60472ad507a71b0600ac3b5f8f.zip |
Fixing loop heuristic for the way CompCert handles loops
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions