diff options
| author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-06-11 17:51:12 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2019-08-07 10:38:34 +0200 |
| commit | dd243f5f35200aa9fdcc400300990192ed4bc0b6 (patch) | |
| tree | 8f3558aaefae2e789610cfb6c1c61e281b50f3f8 /lib/Zbits.v | |
| parent | b4130798bd428ad3586baa17b0f991018854997a (diff) | |
| download | compcert-kvx-dd243f5f35200aa9fdcc400300990192ed4bc0b6.tar.gz compcert-kvx-dd243f5f35200aa9fdcc400300990192ed4bc0b6.zip | |
Errors: fixed a loop in tactic MonadInv
Diffstat (limited to 'lib/Zbits.v')
0 files changed, 0 insertions, 0 deletions