aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Renamed the printer module for the Abbreviations and deactivated adding the -...Bernhard Schommer2014-12-023-47/+11
* Merge branch 'master' into dwarfBernhard Schommer2014-11-2750-684/+2264
|\
| * Wrong handling of block-local function declarations (in Elab.ml).Xavier Leroy2014-11-264-13/+31
| * Use Bitstring.is_zeroes_bitstring from bitstring 2.0.4.Xavier Leroy GALLIUM2014-11-251-0/+8
| * Merge pull request #2 from AbsInt/public-globalsXavier Leroy2014-11-2543-660/+2206
| |\
| | * Update the ARM port.Xavier Leroy2014-11-242-50/+38
| | * Update PowerPC port.Xavier Leroy2014-11-242-21/+51
| | * Verification of the Unusedglob pass (removal of unreferenced static global de...Xavier Leroy2014-11-2412-264/+1458
| | * Add Genv.public_symbol operation.Xavier Leroy2014-11-2424-263/+562
| | * Record public global definitions via field "prog_public" in AST.program.Xavier Leroy2014-11-247-63/+98
| |/
| * Use gettimeofday() instead of obsolete ftime().Xavier Leroy2014-11-242-11/+19
* | 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
generated by cgit (git 2.34.1) at 2024-07-03 05:53:14 +0000