aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Frontend.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-241-1/+0
|\
| * Native support for bit fields (#400)Xavier Leroy2021-08-221-1/+0
* | Add target ELFCyril SIX2021-06-011-0/+1
* | Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1Cyril SIX2021-06-011-1/+4
|\ \
| * | Adding distinction between kvx-cos and kvx-mbr (for trapping loads)Cyril SIX2021-04-131-1/+4
* | | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-231-3/+5
|\ \ \ | |/ / |/| / | |/
| * "macosx" is now called "macos"Xavier Leroy2021-01-181-2/+2
| * AArch64: macOS portXavier Leroy2020-12-261-1/+3
* | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-181-0/+1
|\|
| * Move reserved_registers to CPragmas.Bernhard Schommer2020-04-201-0/+1
* | k1c -> kvx changesDavid Monniaux2020-05-261-1/+1
* | Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea...David Monniaux2019-09-201-0/+1
|\|
| * AArch64 portXavier Leroy2019-08-081-0/+1
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-07-191-1/+1
|\|
| * Remove the cparser/Builtins moduleXavier Leroy2019-07-171-1/+1
* | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-031-4/+26
|\|
| * Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-311-2/+2
| * Define macros with CompCert's version number (#284)Xavier Leroy2019-03-271-2/+24
* | Merge tag 'v3.4' into mppa_k1cCyril SIX2018-11-211-6/+17
|\|
| * Add sizeof_reg and new Machine configurations (#129)Bernhard Schommer2018-08-201-4/+6
| * Typo in -iquote preprocessing option (#239)Frédéric Besson2018-06-201-1/+1
| * Define C11 conditional feature macros (#77)Bernhard Schommer2018-04-061-1/+10
* | Hook for MPPA_K1c (generates Risc-V code for now)Cyril SIX2018-04-041-0/+1
|/
* Move struct passing/return style to Machine.Bernhard Schommer2018-02-161-1/+5
* Refactor the handling of errors and warnings (#44)Bernhard Schommer2018-02-081-12/+3
* Move machine initialization to Frontend.init function. (#49)Bernhard Schommer2018-01-111-0/+25
* Handle dcompcertc and dparsedc like all dump opts.Bernhard Schommer2018-01-041-12/+2
* Introduced configuration variable for gnu systems.Bernhard Schommer2017-02-131-2/+2
* Use quoted strings.Bernhard Schommer2017-01-181-32/+34
* Moved assembler and linker into own files.Bernhard Schommer2016-06-241-2/+2
* Deactivate options target dependend.Bernhard Schommer2016-06-241-48/+49
* Moved shared frontend code in own file.Bernhard Schommer2016-05-241-0/+163