diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-10-13 18:46:22 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2014-10-13 18:46:22 +0200 |
| commit | 6fea0ef0958b66711235659ac2cd7122afc04897 (patch) | |
| tree | 8e0cb3357cb4bf581f2219d71e0a152031f83c55 /lib | |
| parent | 1915258c8b2cd2e171bbce93658047a765232bc9 (diff) | |
| download | compcert-6fea0ef0958b66711235659ac2cd7122afc04897.tar.gz compcert-6fea0ef0958b66711235659ac2cd7122afc04897.zip | |
Added a file containing definitions for the types used to store the debug information. The types follow the Current Attributes by Tag Value in Appendix 1 of the Dwarf 2 standard.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions