diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-11 09:32:09 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2014-12-11 09:32:09 +0100 |
commit | 0342889a01aa16162232b0a87a4eb10bdb852ba4 (patch) | |
tree | 63c9ff7443e18b05275f2c258da3fe758d1413b0 /backend/Tailcallproof.v | |
parent | 4d1e02eb67a027d968979ed37f9d90426c634ccd (diff) | |
download | compcert-0342889a01aa16162232b0a87a4eb10bdb852ba4.tar.gz compcert-0342889a01aa16162232b0a87a4eb10bdb852ba4.zip |
Update the IA32/MacOS X port.
- Prefix symbols with _
- Print indirect symbol definitions
- Suppress __asm() macros in system header files
Diffstat (limited to 'backend/Tailcallproof.v')
0 files changed, 0 insertions, 0 deletions