Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | | | | | | | | | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2015-01-12 | 34 | -61988/+914 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: powerpc/PrintAsm.ml | |||||
| * | | | | | | | | | | | | | | | | | | Added dummy printing function for entries. | Bernhard Schommer | 2014-12-18 | 1 | -1/+4 | |
| | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-12-17 | 10 | -58/+88 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Conflicts: powerpc/PrintAsm.ml | |||||
| * | | | | | | | | | | | | | | | | | | | Added more printing code. | Bernhard Schommer | 2014-12-15 | 1 | -3/+8 | |
| | | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | | Started implementation of printing the dwarf entries. | Bernhard Schommer | 2014-12-15 | 3 | -11/+31 | |
| | | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-12-11 | 4 | -17/+28 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-12-04 | 1 | -1/+0 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-12-04 | 2 | -6/+1 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | Changed the d1line and d1file to d2line and d2file and prologue and epilogue ↵ | Bernhard Schommer | 2014-12-04 | 5 | -9/+79 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | printing for printing the line directives without forcing the assembler to generate debug information. | |||||
| * | | | | | | | | | | | | | | | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-12-02 | 1 | -14/+7 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | Renamed the printer module for the Abbreviations and deactivated adding the ↵ | Bernhard Schommer | 2014-12-02 | 3 | -47/+11 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | -g option to the assembler. | |||||
| * | | | | | | | | | | | | | | | | | | | | | | | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-11-27 | 50 | -684/+2264 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-11-19 | 1 | -1/+1 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | Merge branch 'master' into dwarf | Bernhard Schommer | 2014-11-17 | 12 | -179/+489 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | Removed compile error and added dummy function for the printing of entries. | Bernhard Schommer | 2014-11-17 | 3 | -8/+12 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | More functionality for the Printer. | Bernhard Schommer | 2014-11-14 | 1 | -1/+4 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | Moved abbreviation printer into a seperate file. The printer should also ↵ | Bernhard Schommer | 2014-11-12 | 3 | -325/+394 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | print the debug info. | |||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | Added functions for printing of the abbreviations. | Bernhard Schommer | 2014-11-11 | 3 | -3/+41 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | Generalised functionality for the printing of the abbreviations. | Bernhard Schommer | 2014-11-11 | 2 | -235/+307 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | Added more functions to print the abbreviations. | Bernhard Schommer | 2014-11-06 | 2 | -99/+167 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | 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 ↵ | Bernhard Schommer | 2014-10-30 | 1 | -16/+4 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | already earlier. | |||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | Started implementing functions to compute the abbreviations for the diab ↵ | Bernhard Schommer | 2014-10-29 | 2 | -13/+87 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | compiler. | |||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | Refactored the printing functions a little bit more by moving the system ↵ | Bernhard Schommer | 2014-10-28 | 4 | -328/+397 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | dependent parts into other modules and some of the functions into a util file. | |||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | 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 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | used debuggers. | |||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Added the rest of the type for the tags mentioned in appendix 1 of the dwarf ↵ | Bernhard Schommer | 2014-10-15 | 1 | -1/+56 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 2 standard. | |||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Added more types. | Bernhard Schommer | 2014-10-14 | 1 | -0/+125 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | ||||||
| * | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Added a file containing definitions for the types used to store the debug ↵ | Bernhard Schommer | 2014-10-13 | 2 | -1/+122 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | information. The types follow the Current Attributes by Tag Value in Appendix 1 of the Dwarf 2 standard. | |||||
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Changed the printer for the annotations in the Asm_printer of the checklink ↵ | Bernhard Schommer | 2015-04-14 | 1 | -4/+31 | |
| |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|/ |/| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | tool. | |||||
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | When using gcc as a preprocessor, put it in C99 mode. | Xavier Leroy | 2015-04-10 | 1 | -6/+6 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | As opposed to the default "gnu99" mode, the C99 mode turns off a number of GNU-isms in standard header files like those of glibc. | |||||
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Detect (and reject with an error) preprocessing numbers that are not valid ↵ | Xavier Leroy | 2015-04-06 | 1 | -0/+7 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | integer or floating constants. | |||||
* | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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 | |
| |\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Cosmetic: README in MarkDown | |||||
| | * | | | | | | | | | | | | | | | | | | | | | | | | | | | README in MarkDown | Guillaume Claret | 2015-04-02 | 1 | -13/+8 | |
| |/ / / / / / / / / / / / / / / / / / / / / / / / / / / | ||||||
* / / / / / / / / / / / / / / / / / / / / / / / / / / / | Ccompuimm now depends on the memory, this is needed to proof the Lemma ↵ | Bernhard Schommer | 2015-04-02 | 1 | -2/+3 | |
|/ / / / / / / / / / / / / / / / / / / / / / / / / / / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | op_depends_on_memory_correct. | |||||
* | | | | | | | | | | | | | | | | | | | | | | | | | | | Merge pull request #34 from AbsInt/extended-annotations | Xavier Leroy | 2015-04-01 | 71 | -516/+1736 | |
|\ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Extended annotations |