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/Tokenize.mll | |
parent | 1915258c8b2cd2e171bbce93658047a765232bc9 (diff) | |
download | compcert-kvx-6fea0ef0958b66711235659ac2cd7122afc04897.tar.gz compcert-kvx-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/Tokenize.mll')
0 files changed, 0 insertions, 0 deletions