aboutsummaryrefslogtreecommitdiffstats
path: root/backend/Inliningaux.ml
Commit message (Expand)AuthorAgeFilesLines
* more inliningDavid Monniaux2020-03-151-3/+6
* Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-03-031-1/+1
|\
| * ONE "admitted" and things compileDavid Monniaux2019-09-061-1/+1
* | Cosmetic: in OCaml code, write "open! Module" instead of "open !Module"Xavier Leroy2020-02-211-1/+1
|/
* Introduce and use C2C.atom_inline function with 3-valued resultXavier Leroy2017-12-081-3/+6
* Remove unused code. BUg 22642Bernhard Schommer2017-12-081-2/+2
* Store the different inlining cases.Bernhard Schommer2017-12-081-2/+2
* Do not inline varag functions. Bug 22642Bernhard Schommer2017-12-071-3/+3
* Inlining of static functions which are only called once. (#37)Bernhard Schommer2017-12-071-2/+78
* Add optimization option finline.Bernhard Schommer2017-04-071-1/+1
* Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-151-1/+1
* Code cleanup.Bernhard Schommer2016-03-101-3/+1
* Merge of the newmem branch:xleroy2012-05-211-0/+18
generated by cgit (git 2.34.1) at 2024-05-09 15:03:40 +0000