diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-04-06 09:35:46 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-04-06 09:35:46 +0000 |
commit | 2bfadd421f60863ac78076474dcbaf705b76bd3a (patch) | |
tree | 60ecebe66cfe2da0743de01c60d4ab94a425d8d5 /backend/Cminorgenproof.v | |
parent | b6e17910ddf7874e2d6d02623414674a654f9fcc (diff) | |
download | compcert-2bfadd421f60863ac78076474dcbaf705b76bd3a.tar.gz compcert-2bfadd421f60863ac78076474dcbaf705b76bd3a.zip |
Suppression de stmtlist et de exec_stmtlist.
Ajout de Sskip, Sseq.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@10 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'backend/Cminorgenproof.v')
0 files changed, 0 insertions, 0 deletions