common/Memtype.v · 30fbbdb86d2a2989062a9c82dc770a923fb19643 · CertiCompil / CompCert-KVX · GitLab

Snippets Groups Projects

14 years ago
a834a2aa
Merging the Princeton implementation of the memory model. Separate axioms in file lib/Axioms.v. · a834a2aa
xleroy authored 14 years ago
```
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1354 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
```
a834a2aa

History
Merging the Princeton implementation of the memory model. Separate axioms in file lib/Axioms.v.
xleroy authored 14 years ago
```
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1354 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
```

Memtype.v 32.16 KiB