aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | -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
| |\ \ \ \ \ \
| * | | | | | | 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
* | | | | | | | Merge branch 'master' of https://github.com/AbsInt/CompCert into dm-cse2David Monniaux2020-02-271-2/+2
|\ \ \ \ \ \ \ \ | | |_|_|_|_|_|/ | |/| | | | | |
| * | | | | | | Cosmetic: in OCaml code, write "open! Module" instead of "open !Module"Xavier Leroy2020-02-211-2/+2
| * | | | | | | Refine the type of function results in AST.signatureXavier Leroy2020-02-211-1/+1
| | |_|_|_|/ / | |/| | | | |
* | | | | | | forgot a "in *"David Monniaux2020-01-281-20/+1
| |_|_|_|_|/ |/| | | | |
* | | | | | connected (just a silly problem)David Monniaux2020-01-284-6/+41
|/ / / / /
* | | | / AArch64 portXavier Leroy2019-08-082-1/+2
| |_|_|/ |/| | |
* | | | 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
| |_|/ |/| |
* | | 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
| |/ |/|
* | 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
|/
* 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
generated by cgit (git 2.34.1) at 2024-07-12 02:08:46 +0000