diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-07-17 16:41:11 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-07-17 16:41:11 +0200 |
commit | 31802695bf6673831674836817456142ab293e6b (patch) | |
tree | df6234b25beeed38a2a80a0a2a366082e026597c /doc | |
parent | 879b51d3e6166d04ad69e71c44bcfbb502e5f2c9 (diff) | |
download | compcert-kvx-31802695bf6673831674836817456142ab293e6b.tar.gz compcert-kvx-31802695bf6673831674836817456142ab293e6b.zip |
(#142) Desactivating scheduling when using -O1 optimization
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions