-
- Downloads
Revu les comparaisons de pointeurs: == et <> sont definis entre 2 pointeurs...
Revu les comparaisons de pointeurs: == et <> sont definis entre 2 pointeurs vers des blocs differents! git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@649 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Showing
- backend/Cminor.v 9 additions, 7 deletionsbackend/Cminor.v
- backend/Op.v 36 additions, 30 deletionsbackend/Op.v
- backend/Selectionproof.v 32 additions, 15 deletionsbackend/Selectionproof.v
- cfrontend/Cminorgenproof.v 32 additions, 23 deletionscfrontend/Cminorgenproof.v
- cfrontend/Csem.v 1 addition, 1 deletioncfrontend/Csem.v
- cfrontend/Cshmgenproof2.v 4 additions, 4 deletionscfrontend/Cshmgenproof2.v
- common/Mem.v 24 additions, 0 deletionscommon/Mem.v
Loading
Please register or sign in to comment