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 /doc | |
| parent | 65a29b666dffa2a06528bef062392c809db7efd6 (diff) | |
| download | compcert-b5325808cb1d36d4ff500d2fb754fe7a424e8329.tar.gz compcert-b5325808cb1d36d4ff500d2fb754fe7a424e8329.zip | |
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 'doc')
0 files changed, 0 insertions, 0 deletions