diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-11-17 16:18:46 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-11-17 16:18:46 +0000 |
commit | 0be44be49c5be412a9d23e37c7b4554a9049ecbe (patch) | |
tree | b450dfaaedfb251f3337850bd3054349a1aedd4d /backend/Asmgenproof0.v | |
parent | c29871c2d5c7860c6c6c53e8d5c8a9fe434742d2 (diff) | |
download | compcert-0be44be49c5be412a9d23e37c7b4554a9049ecbe.tar.gz compcert-0be44be49c5be412a9d23e37c7b4554a9049ecbe.zip |
Revised modeling of external functions and built-in functions: just axiomatize
them.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2369 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'backend/Asmgenproof0.v')
0 files changed, 0 insertions, 0 deletions