index
:
compcert
FPcomp
aarch64
conditional-move
dev/michalis
floatofintu
inl-cse-const
master
no-pervasives
CompCert fork with minor modifications for Vericert.
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
debug
/
CtoDwarf.ml
Commit message (
Collapse
)
Author
Age
Files
Lines
*
Merged PrintAnnot into PrintAsmaux.
Bernhard Schommer
2015-05-14
1
-1
/
+1
|
*
Print all files ever encountered in the filenum.
Bernhard Schommer
2015-04-01
1
-0
/
+1
|
*
Refactored code, added comments and changed handling of types with ↵
Bernhard Schommer
2015-03-30
1
-316
/
+417
|
|
|
|
attributes to avoid duplications.
*
Compute the size of structs using the result of the packing and bitfield ↵
Bernhard Schommer
2015-03-26
1
-8
/
+17
|
|
|
|
transformations.
*
Added missing functions for printing the structs and unions. Still missing ↵
Bernhard Schommer
2015-03-24
1
-7
/
+122
|
|
|
|
printing of packed structs.
*
Added translation fucntion for declarations and fundefinitions.
Bernhard Schommer
2015-03-23
1
-46
/
+112
|
*
Activating the printing of the debug information for supported architecture.
Bernhard Schommer
2015-03-19
1
-1
/
+19
|
*
Added function to convert C types into their dwarf represnation.
Bernhard Schommer
2015-03-18
1
-1
/
+167
|
*
Added file for the translation of the C Ast to Dwarf debugging information.
Bernhard Schommer
2015-03-16
1
-0
/
+18