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 /backend/XTL.ml | |
parent | 095ec29088ede2c5ca7db813d56001efb63aa97e (diff) | |
download | compcert-3521ff4b742d25d69d7d35212ef50c85e6053e1a.tar.gz compcert-3521ff4b742d25d69d7d35212ef50c85e6053e1a.zip |
Some "feel good" proofs about avail sets.
Diffstat (limited to 'backend/XTL.ml')
0 files changed, 0 insertions, 0 deletions