diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2020-03-17 15:12:06 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2020-03-17 15:12:06 +0100 |
commit | fb43d1078c0b0824132b30d7dd9bfe6b0ac47122 (patch) | |
tree | b51287fed668d9fd06ab98f19dfe454d4c6a27b4 /lib/Lattice.v | |
parent | aa2e3d776cb82ce01c4afdbacc52951e60ff2104 (diff) | |
download | compcert-kvx-fb43d1078c0b0824132b30d7dd9bfe6b0ac47122.tar.gz compcert-kvx-fb43d1078c0b0824132b30d7dd9bfe6b0ac47122.zip |
Desactivating branch predictions by default
Diffstat (limited to 'lib/Lattice.v')
0 files changed, 0 insertions, 0 deletions