diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-01 21:28:00 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-01 21:28:00 +0100 |
commit | 1dffd83e6b621c6ad8d820431339c5dd58e651d1 (patch) | |
tree | f6556fabc96e1a362c6bfa26836cac22065713bc /test/monniaux/bitsliced-aes | |
parent | 931df6260ade89d034ff2d29347ee8f441fe4711 (diff) | |
download | compcert-kvx-1dffd83e6b621c6ad8d820431339c5dd58e651d1.tar.gz compcert-kvx-1dffd83e6b621c6ad8d820431339c5dd58e651d1.zip |
Ugly hack to get at the k1c standard library stdin/stdout/stderr
Diffstat (limited to 'test/monniaux/bitsliced-aes')
0 files changed, 0 insertions, 0 deletions