diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-29 00:25:01 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-05-29 00:25:01 +0200 |
commit | 83cc11add90eea576a798bacf821a70a28d4d9cc (patch) | |
tree | 5d2efb01d6e52ac552af8fa57d88bbc86ffed807 /runtime | |
parent | 371ff944e3377b263506f57c71b54ea24d1f75a7 (diff) | |
download | compcert-kvx-83cc11add90eea576a798bacf821a70a28d4d9cc.tar.gz compcert-kvx-83cc11add90eea576a798bacf821a70a28d4d9cc.zip |
to be able to use DDR we need 8-byte pointers in jump tables
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions