aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' into dwarfBernhard Schommer2015-03-261-9/+4
|\
| * Merge pull request #30 from jhjourdan/masterXavier Leroy2015-03-251-9/+4
| |\
| | * remove not used hypotheses in TREEJacques-Henri Jourdan2015-03-251-9/+4
| |/
* | Added missing functions for printing the structs and unions. Still missing pr...Bernhard Schommer2015-03-246-31/+149
* | Added translation fucntion for declarations and fundefinitions.Bernhard Schommer2015-03-236-73/+188
* | Merge branch 'master' into dwarfBernhard Schommer2015-03-231-2/+6
|\|
| * Fix .type and .size annotations: @ is comment, use % instead.Xavier Leroy2015-03-201-2/+6
* | Activating the printing of the debug information for supported architecture.Bernhard Schommer2015-03-194-17/+48
* | Added function to convert C types into their dwarf represnation.Bernhard Schommer2015-03-187-30/+208
* | Added file for the translation of the C Ast to Dwarf debugging information.Bernhard Schommer2015-03-162-7/+18
* | Added printers for the rest of the possible tags.Bernhard Schommer2015-03-162-14/+76
* | Merge branch 'master' into dwarfBernhard Schommer2015-03-163-3/+6
|\|
| * Missing initialization of current_function_sig.Xavier Leroy2015-03-143-3/+6
* | Started implementing the printing functions for the debug info. Added a globa...Bernhard Schommer2015-03-1612-158/+343
* | Started integrating the debug printing in the common backend_printer.Bernhard Schommer2015-03-1110-160/+169
* | Merge branch 'master' into dwarfBernhard Schommer2015-03-111-1/+3
|\|
| * Issue #28: if the arguments of __builtin_memcpy_aligned are arrays, their typ...Xavier Leroy2015-03-101-1/+3
| * Merge pull request #21 from AbsInt/backend_printerXavier Leroy2015-03-1011-3167/+3116
| |\
* | \ Merge remote-tracking branch 'github/backend_printer' into dwarfBernhard Schommer2015-03-1013-3441/+3116
|\ \ \ | | |/ | |/|
| * | Merge branch 'master' into backend_printerBernhard Schommer2015-03-102-11/+12
| |\|
| * | Merge branch 'master' into backend_printerBernhard Schommer2015-03-033-216/+7
| |\ \
| * \ \ Merge branch 'master' into backend_printerBernhard Schommer2015-02-2611-339/+646
| |\ \ \
| * \ \ \ Merge branch 'master' into backend_printerBernhard Schommer2015-02-1918-8/+928
| |\ \ \ \
| * | | | | Removed unused sel_target, changed cygwin symbol names and changed the defaul...Bernhard Schommer2015-02-195-7/+11
| * | | | | Added an elf prefix to all common elf functions in PrintAsmaux.Bernhard Schommer2015-02-185-36/+50
| * | | | | Changed print_fun/var_info to be functions instead of booleans.Bernhard Schommer2015-02-185-18/+16
| * | | | | Removed some style issues.Bernhard Schommer2015-02-183-76/+82
| * | | | | Changed arm backend to the common backend printer.Bernhard Schommer2015-02-097-1194/+1145
| * | | | | Merge remote-tracking branch 'origin/master' into backend_printerBernhard Schommer2015-02-093-231/+226
| |\ \ \ \ \
| * | | | | | Changed the ia32 backend to the new Printer.Bernhard Schommer2015-02-065-1035/+983
| * | | | | | Changed the ASM printer of the powerpc to the generalized backend.Bernhard Schommer2015-02-055-792/+850
| * | | | | | Moved more common functions into a seperate file.Bernhard Schommer2015-02-044-137/+69
| * | | | | | Started moving common backend functions into one file.Bernhard Schommer2015-02-033-84/+114
* | | | | | | Merge branch 'master' into dwarfBernhard Schommer2015-03-1033-606/+1612
|\ \ \ \ \ \ \ | | |_|_|_|_|/ | |/| | | | |
| * | | | | | Merge branch 'master' of https://github.com/AbsInt/CompCertXavier Leroy2015-03-071-4/+0
| |\ \ \ \ \ \
| | * | | | | | Removed unused target cleansource.Bernhard Schommer2015-03-051-4/+0
| | | |_|_|_|/ | | |/| | | |
| * / | | | | Issue #26: problems with big escape sequences in string/char literals.Xavier Leroy2015-03-071-7/+12
| |/ / / / /
| * | | | | Removed leftover references to recdepend.Xavier Leroy2015-02-281-6/+5
| * | | | | Removed the recdepend again and replaced it by a builtin Make function.Bernhard Schommer2015-02-272-214/+6
| * | | | | Removed the glob files from doc/ instead of doc/glob/Bernhard Schommer2015-02-261-1/+1
| | |_|_|/ | |/| | |
| * | | | Updated the recdepend tool to avoid printing of ./ at the begining and printi...Bernhard Schommer2015-02-252-52/+50
| * | | | Added a small ocamlfile that calls ocamlfind recursivly over a given directory.Bernhard Schommer2015-02-243-5/+218
| * | | | Merge github.com:AbsInt/CompCertBernhard Schommer2015-02-239-334/+430
| |\ \ \ \
| | * | | | Update clightgen with respect to new representation of composites.Xavier Leroy2015-02-203-232/+151
| | * | | | Merge pull request #23 from AbsInt/no-shellXavier Leroy2015-02-206-102/+279
| | |\ \ \ \
| | | * | | | Removed the Unix from the libraries for cchecklink.Bernhard Schommer2015-02-201-2/+3
| | | * | | | Merge branch 'no-shell' of github.com:AbsInt/CompCert into compcert_windowsBernhard Schommer2015-02-195-96/+272
| | | |\ \ \ \
| | | | * \ \ \ Merge branch 'master' into no-shellBernhard Schommer2015-02-1981-2496/+6257
| | | | |\ \ \ \ | | | |_|/ / / / | | |/| | | | |
| | | | * | | | Use Unix.create_process instead of Sys.command (continued).Xavier Leroy2014-12-293-96/+122
| | | | * | | | Use Unix.create_process instead of Sys.command to run external tools.Xavier Leroy2014-12-192-0/+150
generated by cgit (git 2.34.1) at 2024-07-05 14:23:30 +0000