aboutsummaryrefslogtreecommitdiffstats
path: root/backend/Asmexpandaux.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-231-1/+1
|\
| * Changed cc_varargs to an option typeBernhard Schommer2020-12-251-1/+1
* | Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-03-031-0/+4
|\ \ | |/ |/|
| * compilation Asmexpandaux both for x86/ and mppa_k1c/Sylvain Boulmé2018-11-281-0/+4
| * BROKEN - works for x86, not for k1 anymoreCyril SIX2018-11-261-5/+3
| * Merge tag 'v3.4' into mppa_k1cCyril SIX2018-11-211-0/+32
| |\
| * | Extraction issueCyril SIX2018-09-061-7/+9
| * | MPPA - refactored instructionsCyril SIX2018-05-111-6/+6
* | | 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-05-09 08:20:30 +0000