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/Cminor.v | |
| parent | b6e17910ddf7874e2d6d02623414674a654f9fcc (diff) | |
| download | compcert-kvx-2bfadd421f60863ac78076474dcbaf705b76bd3a.tar.gz compcert-kvx-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/Cminor.v')
0 files changed, 0 insertions, 0 deletions