diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-01-02 16:03:49 -0800 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-01-02 16:06:56 -0800 |
| commit | 3c0168526eb9895292a6f92b42f243fce4fd1a9d (patch) | |
| tree | dcfa2c6911fb8694c809ba790ab43d668a7cc795 /platform_impl.ml | |
| parent | de21f8aeaa092e68e220829ff8c3da4132e6f8fe (diff) | |
| download | sail-riscv-3c0168526eb9895292a6f92b42f243fce4fd1a9d.zip sail-riscv-3c0168526eb9895292a6f92b42f243fce4fd1a9d.tar.gz sail-riscv-3c0168526eb9895292a6f92b42f243fce4fd1a9d.tar.bz2 | |
Add support for performance measurements, and a script to estimate it over the unit-tests.
Diffstat (limited to 'platform_impl.ml')
0 files changed, 0 insertions, 0 deletions