diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2019-10-15 16:01:30 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2019-10-15 16:01:30 +0200 |
commit | 72378d9371bc5da342266bcf14231ab568e0f919 (patch) | |
tree | 5bb4762c27165b5fa088a19e7666bf159b48480e /.gitignore | |
parent | 6d4ec0d398dcc9ec766c3f55ba4edbae63fb6a2f (diff) | |
download | compcert-kvx-72378d9371bc5da342266bcf14231ab568e0f919.tar.gz compcert-kvx-72378d9371bc5da342266bcf14231ab568e0f919.zip |
Few minor other changes in proof
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions