diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-16 15:29:24 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-16 15:29:24 +0200 |
commit | b3431b1d9ee5121883d307cff0b62b7e53369891 (patch) | |
tree | d0951b0952d7f5b12b2c03901723ceb46f7d0909 /test/monniaux/tiff-4.0.10 | |
parent | ba32e5daa1ff343a1a0b89e65c2ba5764c9cef04 (diff) | |
download | compcert-kvx-b3431b1d9ee5121883d307cff0b62b7e53369891.tar.gz compcert-kvx-b3431b1d9ee5121883d307cff0b62b7e53369891.zip |
refine the rules for builtins
Diffstat (limited to 'test/monniaux/tiff-4.0.10')
0 files changed, 0 insertions, 0 deletions