aboutsummaryrefslogtreecommitdiffstats
path: root/backend/PrintAsmaux.ml
Commit message (Expand)AuthorAgeFilesLines
...
* | Startet implementation of new Debug interface.Bernhard Schommer2015-09-061-71/+0
* | XBernhard Schommer2015-09-061-25/+61
|\|
| * Track the locations of local variables using EF_debug annotations.Xavier Leroy2015-08-231-8/+20
| * Renaming {BA,BR}_longofwords -> {BA,BR}_splitlong.Xavier Leroy2015-08-221-13/+18
| * Simplify the handling of extended inline asm, taking advantage of the new, st...Xavier Leroy2015-08-211-5/+24
| * Refactoring of builtins and annotations in the back-end.Xavier Leroy2015-08-211-11/+11
* | Added symbol functions for printing of the location for global variables.Bernhard Schommer2015-08-211-0/+3
|/
* Removed the version from the compcert.ini file and add it again in a separate...Bernhard Schommer2015-07-011-1/+1
* Merged PrintAnnot into PrintAsmaux.Bernhard Schommer2015-05-141-0/+160
* Started implementing the printing functions for the debug info. Added a globa...Bernhard Schommer2015-03-161-0/+5
* Started integrating the debug printing in the common backend_printer.Bernhard Schommer2015-03-111-0/+3
* Removed unused sel_target, changed cygwin symbol names and changed the defaul...Bernhard Schommer2015-02-191-0/+1
* Added an elf prefix to all common elf functions in PrintAsmaux.Bernhard Schommer2015-02-181-13/+11
* Changed print_fun/var_info to be functions instead of booleans.Bernhard Schommer2015-02-181-2/+2
* Changed arm backend to the common backend printer.Bernhard Schommer2015-02-091-1/+1
* Changed the ia32 backend to the new Printer.Bernhard Schommer2015-02-061-0/+5
* Changed the ASM printer of the powerpc to the generalized backend.Bernhard Schommer2015-02-051-2/+4
* Moved more common functions into a seperate file.Bernhard Schommer2015-02-041-2/+46
* Started moving common backend functions into one file.Bernhard Schommer2015-02-031-0/+84
generated by cgit (git 2.34.1) at 2024-05-20 02:57:18 +0000