aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' into dwarfBernhard Schommer2015-04-043-12/+23
|\
| * Fixed missing unsigned compare for pointer in the arm backend.Bernhard Schommer2015-04-042-3/+5
| * Further updates to README.mdXavier Leroy2015-04-041-9/+18
* | Merge branch 'master' into dwarfBernhard Schommer2015-04-0288-682/+1973
|\|
| * Merge branch 'master' of github.com:AbsInt/CompCertBernhard Schommer2015-04-021-13/+8
| |\
| | * Merge pull request #36 from clarus/masterBernhard Schommer2015-04-021-13/+8
| | |\
| | | * README in MarkDownGuillaume Claret2015-04-021-13/+8
| | |/
| * / Ccompuimm now depends on the memory, this is needed to proof the Lemma op_dep...Bernhard Schommer2015-04-021-2/+3
| |/
| * Merge pull request #34 from AbsInt/extended-annotationsXavier Leroy2015-04-0171-516/+1736
| |\
| | * Updating the PowerPC and ARM ports.Xavier Leroy2015-03-2712-96/+92
| | * Updated the Caml part. Added some more tests in annot1.c.Xavier Leroy2015-03-2714-78/+130
| | * Extended arguments to annotations, continued:Xavier Leroy2015-03-276-294/+142
| | * Extend annotations so that they can keep track of global variables and local ...Xavier Leroy2015-03-2748-368/+1692
| * | Merge pull request #31 from AbsInt/null-ptr-cmpXavier Leroy2015-04-0118-151/+226
| |\ \
| | * | Omission: forgot to treat pointer values in bool_of_val and sem_notbool.Xavier Leroy2015-03-2912-120/+182
| | * | Revised semantics of comparisons between a pointer and 0.Xavier Leroy2015-03-159-31/+44
* | | | Merge branch 'master' into dwarfBernhard Schommer2015-04-012-2/+2
|\| | |
| * | | Merge pull request #35 from jhjourdan/masterXavier Leroy2015-04-012-2/+2
| |\ \ \
| | * | | Fix overflows in printers for clight and csyntax.Jacques-Henri Jourdan2015-04-012-2/+2
| |/ / /
* | | | Print all files ever encountered in the filenum.Bernhard Schommer2015-04-013-4/+11
* | | | Merge branch 'master' into dwarfBernhard Schommer2015-03-3122-112/+1117
|\| | |
| * | | Merge pull request #33 from AbsInt/struct-passingXavier Leroy2015-03-3122-112/+1115
| |\ \ \
| | * | | Support va_arg for vararg arguments of composite (struct/union) types.Xavier Leroy2015-03-202-0/+19
| | * | | Support va_arg for vararg arguments of composite (struct/union) types.Xavier Leroy2015-03-204-15/+67
| | * | | "ecomma" smart constructor: reassociate to the left so that it prints more ni...Xavier Leroy2015-03-201-2/+8
| | * | | Fix .type and .size annotations: @ is comment, use % instead.Xavier Leroy2015-03-201-2/+6
| | * | | Improvements in the StructReturn transformation (ABI conformance for passing ...Xavier Leroy2015-03-2012-363/+454
| | * | | Missing initialization of current_function_sig.Xavier Leroy2015-03-143-3/+6
| | * | | Merge branch 'master' into struct-passingXavier Leroy2015-03-1412-3179/+3130
| | |\ \ \
| | * \ \ \ Merge branch 'master' into struct-passingXavier Leroy2015-03-1434-616/+1614
| | |\ \ \ \
| | * | | | | Improve performance and configurability for the StructReturn pass.Xavier Leroy2015-03-146-59/+144
| | * | | | | More interoperability tests.Xavier Leroy2015-01-282-9/+34
| | * | | | | ABI compatibility for struct/union function arguments passed by value.Xavier Leroy2015-01-2712-74/+799
* | | | | | | Added more comments and fixed issue in DwarfPrinter.mliBernhard Schommer2015-03-303-10/+21
* | | | | | | Refactored code, added comments and changed handling of types with attributes...Bernhard Schommer2015-03-301-316/+417
* | | | | | | Merge branch 'master' into dwarfBernhard Schommer2015-03-301-2/+2
|\| | | | | |
| * | | | | | Only for options with value.Bernhard Schommer2015-03-281-2/+2
* | | | | | | Refactored the DwarfPrinter and added comments.Bernhard Schommer2015-03-301-106/+80
* | | | | | | Compute the size of structs using the result of the packing and bitfield tran...Bernhard Schommer2015-03-263-18/+36
* | | | | | | Merge branch 'master' into dwarfBernhard Schommer2015-03-261-9/+4
|\| | | | | |
| * | | | | | Merge pull request #30 from jhjourdan/masterXavier Leroy2015-03-251-9/+4
| |\ \ \ \ \ \ | | |_|_|_|_|/ | |/| | | | |
| | * | | | | remove not used hypotheses in TREEJacques-Henri Jourdan2015-03-251-9/+4
| |/ / / / /
* | | | | | Added missing functions for printing the structs and unions. Still missing pr...Bernhard Schommer2015-03-246-31/+149
* | | | | | Added translation fucntion for declarations and fundefinitions.Bernhard Schommer2015-03-236-73/+188
* | | | | | Merge branch 'master' into dwarfBernhard Schommer2015-03-231-2/+6
|\| | | | |
| * | | | | Fix .type and .size annotations: @ is comment, use % instead.Xavier Leroy2015-03-201-2/+6
| | |_|_|/ | |/| | |
* | | | | Activating the printing of the debug information for supported architecture.Bernhard Schommer2015-03-194-17/+48
* | | | | Added function to convert C types into their dwarf represnation.Bernhard Schommer2015-03-187-30/+208
* | | | | Added file for the translation of the C Ast to Dwarf debugging information.Bernhard Schommer2015-03-162-7/+18
* | | | | Added printers for the rest of the possible tags.Bernhard Schommer2015-03-162-14/+76
generated by cgit (git 2.34.1) at 2024-07-05 11:22:12 +0000