diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-20 11:47:20 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-03-20 11:47:20 +0100 |
commit | e80af0edafe49ec2576b7fa3a24d4596083698b6 (patch) | |
tree | 0b3a0cb73736e4797cf090884a121dd9304b833a /extraction/.gitignore | |
parent | c10a470bf10e0f1caf0df9d8491ae01464146b55 (diff) | |
download | compcert-kvx-e80af0edafe49ec2576b7fa3a24d4596083698b6.tar.gz compcert-kvx-e80af0edafe49ec2576b7fa3a24d4596083698b6.zip |
vire des scories INT_DIV et INT_MOD
Diffstat (limited to 'extraction/.gitignore')
0 files changed, 0 insertions, 0 deletions