diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2008-07-25 16:24:06 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2008-07-25 16:24:06 +0000 |
commit | b5325808cb1d36d4ff500d2fb754fe7a424e8329 (patch) | |
tree | 02a27bf00828ce9c176dfd7f84f87a3f766691a1 /backend/CSE.v | |
parent | 65a29b666dffa2a06528bef062392c809db7efd6 (diff) |
Simplification de la semantique de LTL et LTLin. Les details lies aux conventions d'appel sont maintenant geres de maniere plus locale dans la passe Reload.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@701 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'backend/CSE.v')
0 files changed, 0 insertions, 0 deletions