aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' into dwarfBernhard Schommer2014-11-191-1/+1
|\
| * Analysis of jump tables was using the wrong size.Xavier Leroy2014-11-171-1/+1
* | Merge branch 'master' into dwarfBernhard Schommer2014-11-1712-179/+489
|\|
| * Add flags to control individual optimization passes + flag -O0 for turning th...Xavier Leroy2014-11-167-46/+128
| * Revised parsing of command-line arguments (in preparation for adding more).Xavier Leroy2014-11-163-118/+250
| * build_from_parsed: simplified code + correctness proof.Xavier Leroy2014-11-151-15/+86
| * cchecklink: added option "-files-from" to read .sdump file namesXavier Leroy2014-11-152-4/+29
* | Removed compile error and added dummy function for the printing of entries.Bernhard Schommer2014-11-173-8/+12
* | More functionality for the Printer.Bernhard Schommer2014-11-141-1/+4
* | Moved abbreviation printer into a seperate file. The printer should also prin...Bernhard Schommer2014-11-123-325/+394
* | Added functions for printing of the abbreviations.Bernhard Schommer2014-11-113-3/+41
* | Generalised functionality for the printing of the abbreviations.Bernhard Schommer2014-11-112-235/+307
* | Added more functions to print the abbreviations.Bernhard Schommer2014-11-062-99/+167
* | More functions for printing the abbreviations.Bernhard Schommer2014-10-312-77/+141
* | Reverted changes to C2C since the information needed should be stored already...Bernhard Schommer2014-10-301-16/+4
* | Started implementing functions to compute the abbreviations for the diab comp...Bernhard Schommer2014-10-292-13/+87
* | Refactored the printing functions a little bit more by moving the system depe...Bernhard Schommer2014-10-284-328/+397
* | Added the type information to the global information stored for each atom.Bernhard Schommer2014-10-272-5/+20
* | Merge branch 'master' into dwarfBernhard Schommer2014-10-272-2/+3
|\|
| * Tune behavior wrt warnings:Xavier Leroy2014-10-242-2/+3
* | Added more functionality to DwarfUtil.Bernhard Schommer2014-10-241-0/+39
* | Added a file for utility functions on the Dwarf types.Bernhard Schommer2014-10-232-42/+66
* | Added type for all tags.Bernhard Schommer2014-10-211-1/+22
* | Fixed smaller mistakes.Bernhard Schommer2014-10-211-8/+7
* | Removed more not needed attributes.Bernhard Schommer2014-10-201-92/+32
* | Merge branch 'master' into dwarfBernhard Schommer2014-10-201-0/+1
|\|
| * Deactivated the warning for deprecated features for compilation of cchecklink...Bernhard Schommer2014-10-201-0/+1
* | Removed more not needed attributes from the tag types.Bernhard Schommer2014-10-171-19/+50
* | Merge branch 'master' into dwarfBernhard Schommer2014-10-171-1/+0
|\|
| * Removed duplicated open.Bernhard Schommer2014-10-171-1/+0
* | Started revising the tag types to only include attributes which are actually ...Bernhard Schommer2014-10-151-17/+10
* | Added the rest of the type for the tags mentioned in appendix 1 of the dwarf ...Bernhard Schommer2014-10-151-1/+56
* | Added more types.Bernhard Schommer2014-10-141-0/+125
* | Added a file containing definitions for the types used to store the debug inf...Bernhard Schommer2014-10-132-1/+122
|/
* Revised translation of '&&' and '||' to Clight.Xavier Leroy2014-10-1311-124/+109
* Update Makefile, dependencies, and Changelog after upgrade to Flocq 2.4.0.Xavier Leroy2014-10-093-1/+3
* Merge pull request #1 from jhjourdan/masterXavier Leroy2014-10-0921-942/+6030
|\
| * Upgrade to flocq 2.4.0Jacques-Henri Jourdan2014-10-0721-942/+6030
* | Refactored the code of ia32/PrintAsm.ml by moving the functions depending on ...Bernhard Schommer2014-10-081-138/+220
* | Refactored the code of powerpc/PrintAsm.ml by moving the function depending o...Bernhard Schommer2014-10-081-200/+236
|/
* Refactored the code of arm/PrintAsm.ml in order to allow the parametrization ...Bernhard Schommer2014-10-061-44/+86
* Removed environment variable for the stdlib_path and added a new variable for...Bernhard Schommer2014-10-063-20/+20
* Change the way the tools like the linker, assembler, etc. are specified by in...Bernhard Schommer2014-09-304-22/+113
* Moved the timing facility to a seperate file.Bernhard Schommer2014-09-295-54/+68
* Refactoring in the printing of FP numbers.Xavier Leroy2014-09-241-8/+2
* Add theorem "elements_remove".Xavier Leroy2014-09-241-167/+178
* Upgrade clightgen with the new features of CompCert 2.4 (single floats, etc).Xavier Leroy2014-09-241-7/+20
* GCCism: accept __volatile and __volatile__Xavier Leroy2014-09-211-0/+2
* Add .gitignore files.Xavier Leroy2014-09-216-0/+63
* Error instead of warning on illegal escape sequences.Xavier Leroy2014-09-212-1/+5
generated by cgit (git 2.34.1) at 2024-07-13 11:27:38 +0000