Dans Cminor et Csharpminor: suppression de stmtlist, ajout de Sskip, Sseq.
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@11 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Showing
- backend/Cmconstr.v 1 addition, 1 deletionbackend/Cmconstr.v
- backend/Cmconstrproof.v 2 additions, 2 deletionsbackend/Cmconstrproof.v
- backend/Cminor.v 36 additions, 49 deletionsbackend/Cminor.v
- backend/Cminorgen.v 26 additions, 34 deletionsbackend/Cminorgen.v
- backend/Cminorgenproof.v 80 additions, 93 deletionsbackend/Cminorgenproof.v
- backend/Csharpminor.v 1 addition, 1 deletionbackend/Csharpminor.v
- backend/RTLgen.v 13 additions, 20 deletionsbackend/RTLgen.v
- backend/RTLgenproof.v 80 additions, 97 deletionsbackend/RTLgenproof.v
- backend/RTLgenproof1.v 8 additions, 52 deletionsbackend/RTLgenproof1.v
Loading
Please register or sign in to comment