aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | | | Added dummy printing function for entries.Bernhard Schommer2014-12-181-1/+4
* | | | Merge branch 'master' into dwarfBernhard Schommer2014-12-1710-58/+88
|\| | |
| * | | Clean up support for common symbols. Uninitialized "const" symbols can be co...Xavier Leroy2014-12-176-39/+71
| * | | Use cp instead of symbolic links for executables.Xavier Leroy2014-12-171-15/+8
| * | | Merge branch 'master' of https://github.com/AbsInt/CompCertXavier Leroy2014-12-175-19/+35
| |\ \ \
| | * | | Stdlib path is ignored when the configuration has_runtime_lib is set to false.Bernhard Schommer2014-12-151-2/+7
| * | | | Prototype the pointer so that the program has well defined semantics and pass...Xavier Leroy2014-12-171-1/+1
* | | | | Added more printing code.Bernhard Schommer2014-12-151-3/+8
* | | | | Started implementation of printing the dwarf entries.Bernhard Schommer2014-12-153-11/+31
* | | | | Merge branch 'master' into dwarfBernhard Schommer2014-12-114-17/+28
|\ \ \ \ \ | | |/ / / | |/| | |
| * | | | Update the IA32/MacOS X port.Xavier Leroy2014-12-112-5/+7
| * | | | Prevent constant propagation on Oindirectsymbol addresses.Xavier Leroy2014-12-111-2/+11
| * | | | Preserve single quotes (e.g. in CPREPRO) when generating compcert.iniXavier Leroy2014-12-111-10/+10
| |/ / /
* | | | Merge branch 'master' into dwarfBernhard Schommer2014-12-041-1/+0
|\| | |
| * | | Removed more unused variables.Bernhard Schommer2014-12-041-1/+0
* | | | Merge branch 'master' into dwarfBernhard Schommer2014-12-042-6/+1
|\| | |
| * | | Removed unused variable and changed the search for the installation directory...Bernhard Schommer2014-12-042-6/+1
* | | | Changed the d1line and d1file to d2line and d2file and prologue and epilogue ...Bernhard Schommer2014-12-045-9/+79
* | | | Merge branch 'master' into dwarfBernhard Schommer2014-12-021-14/+7
|\| | |
| * | | Changed the comparison of jumptables.Bernhard Schommer2014-12-011-14/+7
* | | | 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
|\|
generated by cgit (git 2.34.1) at 2024-07-04 00:39:22 +0000