diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-06-19 11:51:08 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-06-19 11:52:10 +0200 |
commit | 4d36f7a3d78608fc24d2966f9d9728f3d114be85 (patch) | |
tree | 6d0d78d2ad579b7e63341ef2329240d908dd568a /LICENSE | |
parent | e4e4bb635650055a94112250b71c111096f1263e (diff) | |
download | compcert-kvx-4d36f7a3d78608fc24d2966f9d9728f3d114be85.tar.gz compcert-kvx-4d36f7a3d78608fc24d2966f9d9728f3d114be85.zip |
Removing lustrev4_lustrec_heater_control and ternary for now from benches.sh
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions