diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-11 08:08:26 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-11 08:08:26 +0200 |
commit | 466767d23cbc816b5787e6768e5f9a98a95abca9 (patch) | |
tree | d08adb311cebc8f5a897c8d8632a7b0060dc06fb /test/monniaux/tacle-bench-lift | |
parent | 696d150a5ec5387e78b2aae941a77a190af58562 (diff) | |
download | compcert-kvx-466767d23cbc816b5787e6768e5f9a98a95abca9.tar.gz compcert-kvx-466767d23cbc816b5787e6768e5f9a98a95abca9.zip |
fix types for k1 builtins
Diffstat (limited to 'test/monniaux/tacle-bench-lift')
0 files changed, 0 insertions, 0 deletions