diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 20:51:37 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 20:51:37 +0100 |
commit | be449553d2fa4c801e2c05c129cab0be8673f35d (patch) | |
tree | f723c5599e7ae76e5ba0ed633e7851fd41bd7213 /test/monniaux/bitsliced-aes/Makefile | |
parent | 2eab9982e439033cfa214058949836c9e2f3e385 (diff) | |
download | compcert-kvx-be449553d2fa4c801e2c05c129cab0be8673f35d.tar.gz compcert-kvx-be449553d2fa4c801e2c05c129cab0be8673f35d.zip |
C99 7.16 mandates __bool_true_false_are_defined
Diffstat (limited to 'test/monniaux/bitsliced-aes/Makefile')
0 files changed, 0 insertions, 0 deletions