aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
...
| * | 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
* | | added -fdiv-i32 and -fdiv-i64 optionsDavid Monniaux2019-05-292-3/+12
| |/ |/|
* | 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
* | Hook for MPPA_K1c (generates Risc-V code for now)Cyril SIX2018-04-042-1/+2
|/
* Removed struct passing/return from ConfigurationsBernhard Schommer2018-02-162-49/+0
* Move struct passing/return style to Machine.Bernhard Schommer2018-02-161-1/+5
* Added error summary in case of fatal error.Bernhard Schommer2018-02-091-1/+1
* Refactor the handling of errors and warnings (#44)Bernhard Schommer2018-02-088-70/+64
* Share code for common options.Bernhard Schommer2018-01-292-61/+105
* Move machine initialization to Frontend.init function. (#49)Bernhard Schommer2018-01-113-22/+29
* Change AsmToJson to be similar to other printers.Bernhard Schommer2018-01-051-45/+3
* Added toolchain specific option for dcc. (#47)Bernhard Schommer2018-01-051-1/+16
* Handle dcompcertc and dparsedc like all dump opts.Bernhard Schommer2018-01-042-13/+5
* Remove duplicated code. Bug 20521Bernhard Schommer2018-01-041-46/+26
* Remove all temporary files at program exit (#46)Bernhard Schommer2018-01-033-18/+16
* Export configured architecture to JSON (#38)Michael Schmidt2017-12-131-0/+6
* Inlining of static functions which are only called once. (#37)Bernhard Schommer2017-12-072-1/+5
* Remove temporary .o files after linking (#36)Xavier Leroy2017-11-271-2/+5
* New support for inserting ais-annotations.Bernhard Schommer2017-10-192-0/+5
* Do not generate object files for linking.Bernhard Schommer2017-10-161-7/+14
generated by cgit (git 2.34.1) at 2024-07-12 00:37:06 +0000