diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-05-24 10:10:14 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-05-24 10:10:14 +0200 |
| commit | 8d3dbd3636fbb6a056f5506be8ee2d8839c1aea2 (patch) | |
| tree | bc1cb43e67fcfc7d1d1369e39936a5e78093c77c /ia32/Stacklayout.v | |
| parent | 4e2fb826bd95e3f32459f1845948f37add3cbdb9 (diff) | |
| download | compcert-8d3dbd3636fbb6a056f5506be8ee2d8839c1aea2.tar.gz compcert-8d3dbd3636fbb6a056f5506be8ee2d8839c1aea2.zip | |
ia32/Conventions1: remove commented-out proof attempt
Diffstat (limited to 'ia32/Stacklayout.v')
0 files changed, 0 insertions, 0 deletions