common/Globalenvs.v · 9c7c84cc40eaacc1e2c13091165785cddecba5ad · 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
```

Globalenvs.v 43.17 KiB