Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | More functions for printing the abbreviations. | Bernhard Schommer | 2014-10-31 | 2 | -77/+141 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | Reverted changes to C2C since the information needed should be stored already... | Bernhard Schommer | 2014-10-30 | 1 | -16/+4 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | Started implementing functions to compute the abbreviations for the diab comp... | Bernhard Schommer | 2014-10-29 | 2 | -13/+87 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | Refactored the printing functions a little bit more by moving the system depe... | Bernhard Schommer | 2014-10-28 | 4 | -328/+397 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | Added the type information to the global information stored for each atom. | Bernhard Schommer | 2014-10-27 | 2 | -5/+20 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-10-27 | 2 | -2/+3 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | Added more functionality to DwarfUtil. | Bernhard Schommer | 2014-10-24 | 1 | -0/+39 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | Added a file for utility functions on the Dwarf types. | Bernhard Schommer | 2014-10-23 | 2 | -42/+66 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | Added type for all tags. | Bernhard Schommer | 2014-10-21 | 1 | -1/+22 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | Fixed smaller mistakes. | Bernhard Schommer | 2014-10-21 | 1 | -8/+7 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | Removed more not needed attributes. | Bernhard Schommer | 2014-10-20 | 1 | -92/+32 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-10-20 | 1 | -0/+1 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | Removed more not needed attributes from the tag types. | Bernhard Schommer | 2014-10-17 | 1 | -19/+50 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-10-17 | 1 | -1/+0 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Started revising the tag types to only include attributes which are actually ... | Bernhard Schommer | 2014-10-15 | 1 | -17/+10 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Added the rest of the type for the tags mentioned in appendix 1 of the dwarf ... | Bernhard Schommer | 2014-10-15 | 1 | -1/+56 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Added more types. | Bernhard Schommer | 2014-10-14 | 1 | -0/+125 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Added a file containing definitions for the types used to store the debug inf... | Bernhard Schommer | 2014-10-13 | 2 | -1/+122 | |
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Changed the printer for the annotations in the Asm_printer of the checklink t... | Bernhard Schommer | 2015-04-14 | 1 | -4/+31 | |
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | ||||||
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | When using gcc as a preprocessor, put it in C99 mode. | Xavier Leroy | 2015-04-10 | 1 | -6/+6 | |
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Detect (and reject with an error) preprocessing numbers that are not valid in... | Xavier Leroy | 2015-04-06 | 1 | -0/+7 | |
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Harmless typo ('__' instead of '_') causing a warning at extraction time. | Xavier Leroy | 2015-04-06 | 1 | -1/+1 | |
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Missing case for the new 'annot' instruction. | Xavier Leroy | 2015-04-06 | 2 | -0/+4 | |
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | ||||||
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | Fixed missing unsigned compare for pointer in the arm backend. | Bernhard Schommer | 2015-04-04 | 2 | -3/+5 | |
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | Further updates to README.md | Xavier Leroy | 2015-04-04 | 1 | -9/+18 | |
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | | | | | | | | | | | | ||||||
* | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge branch 'master' of github.com:AbsInt/CompCert | Bernhard Schommer | 2015-04-02 | 1 | -13/+8 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge pull request #36 from clarus/master | Bernhard Schommer | 2015-04-02 | 1 | -13/+8 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | README in MarkDown | Guillaume Claret | 2015-04-02 | 1 | -13/+8 | |
| |/ / / / / / / / / / / / / / / / / / / / / / / / / / / | ||||||
* / / / / / / / / / / / / / / / / / / / / / / / / / / / | Ccompuimm now depends on the memory, this is needed to proof the Lemma op_dep... | Bernhard Schommer | 2015-04-02 | 1 | -2/+3 | |
|/ / / / / / / / / / / / / / / / / / / / / / / / / / / | ||||||
* | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #34 from AbsInt/extended-annotations | Xavier Leroy | 2015-04-01 | 71 | -516/+1736 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | Updating the PowerPC and ARM ports. | Xavier Leroy | 2015-03-27 | 12 | -96/+92 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | Updated the Caml part. Added some more tests in annot1.c. | Xavier Leroy | 2015-03-27 | 14 | -78/+130 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | Extended arguments to annotations, continued: | Xavier Leroy | 2015-03-27 | 6 | -294/+142 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | Extend annotations so that they can keep track of global variables and local ... | Xavier Leroy | 2015-03-27 | 48 | -368/+1692 | |
| | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ / / / / | |/| | | | | | | | | | | | | | | | | | | | | | | | | | ||||||
* | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #31 from AbsInt/null-ptr-cmp | Xavier Leroy | 2015-04-01 | 18 | -151/+226 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | Omission: forgot to treat pointer values in bool_of_val and sem_notbool. | Xavier Leroy | 2015-03-29 | 12 | -120/+182 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | | | Revised semantics of comparisons between a pointer and 0. | Xavier Leroy | 2015-03-15 | 9 | -31/+44 | |
| | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ / / / | |/| | | | | | | | | | | | | | | | | | | | | | | | | ||||||
* | | | | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #35 from jhjourdan/master | Xavier Leroy | 2015-04-01 | 2 | -2/+2 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | Fix overflows in printers for clight and csyntax. | Jacques-Henri Jourdan | 2015-04-01 | 2 | -2/+2 | |
|/ / / / / / / / / / / / / / / / / / / / / / / / / | ||||||
* | | | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #33 from AbsInt/struct-passing | Xavier Leroy | 2015-03-31 | 22 | -112/+1115 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | Support va_arg for vararg arguments of composite (struct/union) types. | Xavier Leroy | 2015-03-20 | 2 | -0/+19 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | Support va_arg for vararg arguments of composite (struct/union) types. | Xavier Leroy | 2015-03-20 | 4 | -15/+67 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | "ecomma" smart constructor: reassociate to the left so that it prints more ni... | Xavier Leroy | 2015-03-20 | 1 | -2/+8 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | Fix .type and .size annotations: @ is comment, use % instead. | Xavier Leroy | 2015-03-20 | 1 | -2/+6 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | Improvements in the StructReturn transformation (ABI conformance for passing ... | Xavier Leroy | 2015-03-20 | 12 | -363/+454 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | Missing initialization of current_function_sig. | Xavier Leroy | 2015-03-14 | 3 | -3/+6 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | Merge branch 'master' into struct-passing | Xavier Leroy | 2015-03-14 | 12 | -3179/+3130 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ / | | |/| | | | | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | Merge branch 'master' into struct-passing | Xavier Leroy | 2015-03-14 | 34 | -616/+1614 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ / / | | |/| | | | | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | Improve performance and configurability for the StructReturn pass. | Xavier Leroy | 2015-03-14 | 6 | -59/+144 | |
| * | | | | | | | | | | | | | | | | | | | | | | | | More interoperability tests. | Xavier Leroy | 2015-01-28 | 2 | -9/+34 |