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 /debug | |
| parent | e2919da34ac8105b22e116a6b687a6f544b05142 (diff) | |
| download | compcert-kvx-1e26e3d26fa06c38f712ff4a2554de76212d38ab.tar.gz compcert-kvx-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 'debug')
0 files changed, 0 insertions, 0 deletions