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 /ia32 | |
| 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 'ia32')
0 files changed, 0 insertions, 0 deletions