diff options
author | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-18 10:03:03 +0100 |
---|---|---|
committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2017-01-18 10:03:03 +0100 |
commit | 1e26e3d26fa06c38f712ff4a2554de76212d38ab (patch) | |
tree | ad679bea11d8b7a3e4e6fa6c4e5aa4efda9462ed /arm/SelectOpproof.v | |
parent | e2919da34ac8105b22e116a6b687a6f544b05142 (diff) | |
download | compcert-1e26e3d26fa06c38f712ff4a2554de76212d38ab.tar.gz compcert-1e26e3d26fa06c38f712ff4a2554de76212d38ab.zip |
More comments and improvements for unknown loc.
More functions are now documented. Furthermore compcert now prints
"ccomp:" instead of nothing for unknown locations.
Bug 19872
Diffstat (limited to 'arm/SelectOpproof.v')
0 files changed, 0 insertions, 0 deletions