diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-07 15:17:27 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-07 15:17:27 +0100 |
commit | 323c06990fffb1b3e68cc0abff2d9e095484bc61 (patch) | |
tree | 1e55d372fb4d0e04a82d1596644b9d529a7a996b /test/mppa | |
parent | 97d9c43afd95badeca39a3a5f1ec6d6018e560eb (diff) | |
download | compcert-kvx-323c06990fffb1b3e68cc0abff2d9e095484bc61.tar.gz compcert-kvx-323c06990fffb1b3e68cc0abff2d9e095484bc61.zip |
fix rules
Diffstat (limited to 'test/mppa')
0 files changed, 0 insertions, 0 deletions