diff options
| author | Robert Norton | 2018-07-06 15:33:27 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-07-06 15:33:27 +0100 |
| commit | 2593b91c60fff908493ebc7924edb480a0c1b3f6 (patch) | |
| tree | 1ae1418ee63a9ebd4d481968c3f59656c814b5bb /lib/hol/stateAuxiliaryScript.sml | |
| parent | 80d281efffabc4d3dc4a759764ab8d785af10511 (diff) | |
add gcov option for cheri_c. Add cheri128_c target.
Diffstat (limited to 'lib/hol/stateAuxiliaryScript.sml')
0 files changed, 0 insertions, 0 deletions