diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2020-10-14 11:54:38 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2020-10-14 11:54:38 +0200 |
| commit | eb1b7367a5b5296c5a6a82042e047a2d493a4716 (patch) | |
| tree | 61db72a1ba344790c6daa746aa15df07a0fb21ab /driver/Driver.ml | |
| parent | b09b9a2e3f3f2612582bbf7ee624a48ad0e0b40f (diff) | |
| download | compcert-kvx-eb1b7367a5b5296c5a6a82042e047a2d493a4716.tar.gz compcert-kvx-eb1b7367a5b5296c5a6a82042e047a2d493a4716.zip | |
Ignoring Inops for counting number of instructions
Diffstat (limited to 'driver/Driver.ml')
0 files changed, 0 insertions, 0 deletions