diff options
| author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-03-28 10:56:47 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2009-03-28 10:56:47 +0000 |
| commit | 3b8c7933be994a6e9864d6a6c7972a2e8014ad02 (patch) | |
| tree | 85c83e3e897252391b0c7ee0111c985143a38909 /LICENSE | |
| parent | a1d9acb0ea638e9c29aa770bf819f943f0b36e4f (diff) | |
| download | compcert-kvx-3b8c7933be994a6e9864d6a6c7972a2e8014ad02.tar.gz compcert-kvx-3b8c7933be994a6e9864d6a6c7972a2e8014ad02.zip | |
Honor "static" modifier on C globals.
Put "const" globals in read-only section.
Revised printing of rlwinm instruction.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1018 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions