aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/mppa-work' into mppa-non-trapping-loadDavid Monniaux2019-09-201-1/+1
|\
| * Timings for Machblockgen, Asmblockgen and postpass schedulingCyril SIX2019-09-181-1/+1
* | -fall-loads-nontrapDavid Monniaux2019-09-094-2/+16
|/
* helpers broke compilationDavid Monniaux2019-07-191-4/+0
* Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-07-194-7/+11
|\
| * Remove the cparser/Builtins moduleXavier Leroy2019-07-171-1/+1
| * -O0 now implies -fno-inliningMichael Schmidt2019-07-091-1/+1
| * Compatibility with OCaml 4.08 (#302)Xavier Leroy2019-07-081-2/+2
| * Update documentation of -ObranchlessXavier Leroy2019-07-051-1/+1
| * Rename option `-ffavor-branchless` into `-Obranchless`Xavier Leroy2019-07-052-4/+4
| * If-conversion optimizationXavier Leroy2019-06-062-2/+10
* | (#142) Desactivating scheduling when using -O1 optimizationCyril SIX2019-07-171-1/+3
* | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-037-25/+62
|\ \
| * | If-conversion optimizationXavier Leroy2019-05-312-2/+10
| |/
| * Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-312-3/+3
| * Added options -fcommon and -fno-common (#164)Bernhard Schommer2019-05-102-0/+3
| * Change to AbsInt version string.Bernhard Schommer2019-05-101-2/+2
| * Expand the responsefiles earlierBernhard Schommer2019-05-103-13/+13
| * Check for alignment of command-line switches.Bernhard Schommer2019-05-101-3/+7
| * Define macros with CompCert's version number (#284)Xavier Leroy2019-03-271-2/+24
* | option -faddx (off by default until questions cleared)David Monniaux2019-05-113-5/+10
* | Merge remote-tracking branch 'origin/mppa-peephole' into mppa-workDavid Monniaux2019-05-033-0/+5
|\ \
| * | -fcoalesce-memDavid Monniaux2019-05-033-0/+5
* | | Renaming "dumb" scheduling into "greedy"Cyril SIX2019-05-031-1/+1
|/ /
* | Merge branch 'mppa-xsaddr' into mppa-workDavid Monniaux2019-05-023-0/+16
|\ \
| * | command line options (still incomplete)David Monniaux2019-05-023-0/+16
* | | Setting fpostpass= optionCyril SIX2019-04-301-6/+8
* | | The scheduler selection works, but the argument is not optional yet (-fpostpa...Cyril SIX2019-04-292-3/+6
|/ /
* | -fpostpass-ilpDavid Monniaux2019-03-122-4/+0
* | Merge branch 'mppa_postpass' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/Co...David Monniaux2019-03-122-0/+4
|\ \
| * | Added cascaded_scheduler but the flag does not workCyril SIX2019-03-121-2/+3
| * | Added a flag for changing the scheduler (not any choice available right now)Cyril SIX2019-03-123-0/+6
* | | -fpostpass-ilpDavid Monniaux2019-03-122-0/+3
|/ /
* | Added long double = double by default on Kalray architectureCyril SIX2019-03-011-1/+1
* | -O0 will not perform postpass schedulingCyril SIX2019-01-183-1/+7
* | Compiles for x86 and mppa_k1c (except Asmexpandaux.ml)Sylvain Boulmé2018-11-271-1/+1
* | BROKEN - works for x86, not for k1 anymoreCyril SIX2018-11-261-1/+1
* | Moved some files to mppa_k1c/lib ; reworked configure and Makefile to allow thatCyril SIX2018-11-261-322/+0
* | Merge tag 'v3.4' into mppa_k1cCyril SIX2018-11-219-93/+202
|\|
| * Fix passing of -u to linker.Bernhard Schommer2018-08-211-1/+1
| * Add sizeof_reg and new Machine configurations (#129)Bernhard Schommer2018-08-201-4/+6
| * Various improvements in the wording of diagnostics.Michael Schmidt2018-08-026-12/+12
| * Typo in -iquote preprocessing option (#239)Frédéric Besson2018-06-201-1/+1
| * Simplify module Complements and add separate compilation (#121)Xavier Leroy2018-05-291-74/+172
| * Define C11 conditional feature macros (#77)Bernhard Schommer2018-04-061-1/+10
* | Rajout d'un return_address_offset. Besoin de changer forward_simu de mach mac...Cyril SIX2018-09-061-1/+1
* | Machblock: some renaming and proof simplificationsCyril SIX2018-09-061-15/+15
* | Machblock: adaptation to the generalized ForwardSimulationBlockSylvain Boulmé2018-09-061-8/+103
* | Generalization of ForwardSimulationBlockSylvain Boulmé2018-09-061-33/+24
* | Machblock: Mach language with basic blocksCyril SIX2018-09-061-0/+236
generated by cgit (git 2.34.1) at 2024-06-02 21:28:02 +0000