common/AST.v · d7f6ef3d96c503b8cb4a04aa8fc120ea5b77ea4a · CertiCompil / CompCert-KVX · GitLab

Snippets Groups Projects

15 years ago
1e24932c
Suppressed Init_pointer, now useless. Improved printing of strings in generated .s · 1e24932c
xleroy authored 15 years ago
```
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1274 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
```
1e24932c

History
Suppressed Init_pointer, now useless. Improved printing of strings in generated .s
xleroy authored 15 years ago
```
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1274 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
```

AST.v 13.08 KiB