diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-12-26 15:46:54 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-12-26 15:46:54 +0000 |
| commit | ad12162ff1f0d50c43afefc45e1593f27f197402 (patch) | |
| tree | f77430a75e0a4bf12a64b8ee676d40c88ede1041 /cfrontend/SimplLocalsproof.v | |
| parent | 9fb435abe98f358b1dde5de6604663a176634e53 (diff) | |
Future-proofing: keep signature information in IA32 and PowerPC Asm, just like we already do in ARM Asm.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2385 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cfrontend/SimplLocalsproof.v')
0 files changed, 0 insertions, 0 deletions