diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2016-02-19 09:46:47 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2016-02-19 09:46:47 +0100 |
| commit | 4afa3167a76c5cf69e04fa5faae45824158d08bc (patch) | |
| tree | f1b9600773d3f093be68981795bf2b7b96fd6e73 /cfrontend/Cop.v | |
| parent | 4bd80095720ca873b6ded9b169bbc6a8be9e11d7 (diff) | |
| download | compcert-kvx-4afa3167a76c5cf69e04fa5faae45824158d08bc.tar.gz compcert-kvx-4afa3167a76c5cf69e04fa5faae45824158d08bc.zip | |
PR#87: include the BSD license in the LICENSE file.
Diffstat (limited to 'cfrontend/Cop.v')
0 files changed, 0 insertions, 0 deletions