diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2011-03-13 14:11:56 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2011-03-13 14:11:56 +0000 |
commit | 6879fcaae5dafb2a4f8a119de0975ccec67b6e32 (patch) | |
tree | 2e672267dc81c588e09ca6bfd373786aecf3c7bd /arm | |
parent | 5c46f0c4ba077bb6e21edbc32f5f23230c45380b (diff) | |
download | compcert-6879fcaae5dafb2a4f8a119de0975ccec67b6e32.tar.gz compcert-6879fcaae5dafb2a4f8a119de0975ccec67b6e32.zip |
Slightly nicer semantics for initialization
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1604 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'arm')
0 files changed, 0 insertions, 0 deletions