diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-12-02 11:24:23 +0100 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-12-02 11:24:23 +0100 |
commit | eaea751c200213e0f86cf51c1fe93b7ba09c4227 (patch) | |
tree | f9f2f638f6f921c3e703e2278750f8b04735bd77 /common/AST.v | |
parent | b298bc4f694a71237d34881d0269721c3e0dcd02 (diff) | |
download | compcert-kvx-eaea751c200213e0f86cf51c1fe93b7ba09c4227.tar.gz compcert-kvx-eaea751c200213e0f86cf51c1fe93b7ba09c4227.zip |
Adding info on how to add timings to a benchmark
Diffstat (limited to 'common/AST.v')
0 files changed, 0 insertions, 0 deletions