aboutsummaryrefslogtreecommitdiffstats
path: root/backend/Asmexpandaux.ml
Commit message (Expand)AuthorAgeFilesLines
* Changed cc_varargs to an option typeBernhard Schommer2020-12-251-1/+1
* Refine the type of function results in AST.signatureXavier Leroy2020-02-211-1/+1
* Simplified code. Bug 24067Bernhard Schommer2018-09-121-8/+8
* Generate a nop instruction after some ais annotations (#137)Bernhard Schommer2018-09-121-0/+32
* Extend builtin arguments with a pointer addition operatorXavier Leroy2017-07-061-1/+2
* Added interface for the Asmexpansion.Bernhard Schommer2016-03-161-0/+9
* bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-141-11/+11
* Changed definition of implem for debug information.Bernhard Schommer2015-10-121-2/+1
* Changed expand_debug to emit less labels.Bernhard Schommer2015-10-121-0/+1
* Filled in missing functions for debug information on ia32.Bernhard Schommer2015-10-091-3/+24
* Moved expandation of debug information to Asmexpandaux.Bernhard Schommer2015-10-081-0/+69
* Merge branch 'asmexpand' of github.com:AbsInt/CompCertBernhard Schommer2015-06-261-0/+57
* Revert "Merge branch 'asmexpand' of github.com:AbsInt/CompCert"Bernhard Schommer2015-06-261-57/+0
* Moved the printing of the builtin functions etc. into Asmexpand for ARM in th...Bernhard Schommer2015-06-101-0/+57
generated by cgit (git 2.34.1) at 2024-06-02 17:06:20 +0000