diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-02 18:44:32 +0200 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-10-02 18:44:32 +0200 |
commit | 61bd4cf7b75a51912cb885dd3b1d2ef2f7dae1e9 (patch) | |
tree | 87ced580a7803689125f3fc12d2a5ec657adf959 /powerpc/ConstpropOp.vp | |
parent | f21a6b181dded86ef0e5c7ab94f74e5b960fd510 (diff) | |
download | compcert-61bd4cf7b75a51912cb885dd3b1d2ef2f7dae1e9.tar.gz compcert-61bd4cf7b75a51912cb885dd3b1d2ef2f7dae1e9.zip |
Finish the proofs of SelectLong for IA32
Diffstat (limited to 'powerpc/ConstpropOp.vp')
0 files changed, 0 insertions, 0 deletions