diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-05 13:52:34 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-05 13:52:34 +0200 |
commit | 799698875bd5b42b9ef5e57138f71128e68ed35e (patch) | |
tree | 2c577959006a78fc7067560995899a96e44ec764 /test/monniaux/ternary | |
parent | e4bc9aa604977ee168c2f580d3fc3c3521f6c25c (diff) | |
download | compcert-kvx-799698875bd5b42b9ef5e57138f71128e68ed35e.tar.gz compcert-kvx-799698875bd5b42b9ef5e57138f71128e68ed35e.zip |
removed the unproved hack to get builtins, will be reinstated later
Diffstat (limited to 'test/monniaux/ternary')
0 files changed, 0 insertions, 0 deletions