diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-20 19:35:37 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-20 19:35:37 +0200 |
commit | ac246d223971e66dd55f79a13d309b93e395ad74 (patch) | |
tree | 6de1cfbadd9c9d4df0131c1c555ce07a5d6a7af4 /mppa_k1c/ValueAOp.v | |
parent | 1b1274d2b275661e72e01cfbf8332478c673dbca (diff) | |
download | compcert-kvx-ac246d223971e66dd55f79a13d309b93e395ad74.tar.gz compcert-kvx-ac246d223971e66dd55f79a13d309b93e395ad74.zip |
change semantics for trapping ops
Diffstat (limited to 'mppa_k1c/ValueAOp.v')
0 files changed, 0 insertions, 0 deletions