diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-08-23 17:54:04 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-08-23 17:54:04 +0200 |
| commit | 3521ff4b742d25d69d7d35212ef50c85e6053e1a (patch) | |
| tree | 93a7c3c3e11f5d0c1f793d171e5d4a05b920d1f5 /checklink | |
| parent | 095ec29088ede2c5ca7db813d56001efb63aa97e (diff) | |
| download | compcert-3521ff4b742d25d69d7d35212ef50c85e6053e1a.tar.gz compcert-3521ff4b742d25d69d7d35212ef50c85e6053e1a.zip | |
Some "feel good" proofs about avail sets.
Diffstat (limited to 'checklink')
0 files changed, 0 insertions, 0 deletions