diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-05 15:04:46 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-05 15:04:46 +0200 |
| commit | 27d1525b819cf4f82e4a2f2943596001b50c44b7 (patch) | |
| tree | c9341fdeeab54a1ead28604e51c9918e2e26b815 /test/monniaux/ternary | |
| parent | 5ff1a009561973e65437edadd752f627c12c1a29 (diff) | |
| download | compcert-kvx-27d1525b819cf4f82e4a2f2943596001b50c44b7.tar.gz compcert-kvx-27d1525b819cf4f82e4a2f2943596001b50c44b7.zip | |
reinstated the orl selectl construct
Diffstat (limited to 'test/monniaux/ternary')
0 files changed, 0 insertions, 0 deletions