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 /driver/Clflags.ml | |
| parent | c29871c2d5c7860c6c6c53e8d5c8a9fe434742d2 (diff) | |
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 'driver/Clflags.ml')
0 files changed, 0 insertions, 0 deletions