diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2011-07-31 09:38:19 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2011-07-31 09:38:19 +0000 |
commit | 2079efb2b129e3d00a51b2ed9febef2619742201 (patch) | |
tree | c00f9cd5d36fe00c1f787424c29ab0ee93ec5953 /cfrontend | |
parent | 603e931f49ef04188a58895ce38d892511b75b78 (diff) |
Check fcmpd semantics
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1694 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'cfrontend')
0 files changed, 0 insertions, 0 deletions