diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-26 20:37:16 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-26 20:37:16 +0100 |
| commit | 45cab18f8f9fc1db4f9877333c09d5a5cb2dc64d (patch) | |
| tree | de0352098747757395dc25e14e524a57b93ebb88 /test/monniaux/ternary_builtin | |
| parent | 3ff674c7c3ad5237fa4223596563c2b6e09cd8cf (diff) | |
| download | compcert-kvx-45cab18f8f9fc1db4f9877333c09d5a5cb2dc64d.tar.gz compcert-kvx-45cab18f8f9fc1db4f9877333c09d5a5cb2dc64d.zip | |
rm cruft
Diffstat (limited to 'test/monniaux/ternary_builtin')
0 files changed, 0 insertions, 0 deletions