diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-09-23 14:17:12 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-09-23 14:17:12 +0200 |
commit | a8e2039a772da0fcfd484b7445de8cc093be5d2b (patch) | |
tree | 90f890796d291d4e466258785e6948102d4dca5c /arm/Op.v | |
parent | 5d455f088929be06ce1c61d02e541d44dfefc42f (diff) | |
download | compcert-kvx-a8e2039a772da0fcfd484b7445de8cc093be5d2b.tar.gz compcert-kvx-a8e2039a772da0fcfd484b7445de8cc093be5d2b.zip |
is_trapping_op_sound
Diffstat (limited to 'arm/Op.v')
0 files changed, 0 insertions, 0 deletions