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 | |
| 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')
0 files changed, 0 insertions, 0 deletions