aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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
* Added dump-mnemonics option.Bernhard Schommer2017-09-251-2/+12
* Take advantage of ARMv6T2/ARMv7 instructions even if not in Thumb2 mode (#203)Gergö Barany2017-09-181-3/+7
* Document -finline in help.Bernhard Schommer2017-08-241-0/+1
* Extended support for the nostartfiles option.Bernhard Schommer2017-08-231-6/+11
* Formatted json printing.Bernhard Schommer2017-06-281-8/+23
* Added a little bit more compilation info to sdump.Bernhard Schommer2017-06-263-4/+16
* Hybrid 64bit/32bit PowerPC portBernhard Schommer2017-05-032-7/+7
* RISC-V port and assorted changesXavier Leroy2017-04-282-1/+4
* Add optimization option finline.Bernhard Schommer2017-04-072-0/+2
* Added missing dltl to dall.Bernhard Schommer2017-03-081-0/+1
* Merge pull request #167 from AbsInt/pipe_prerequisiteXavier Leroy2017-02-157-28/+21
|\
| * Introduced configuration variable for gnu systems.Bernhard Schommer2017-02-137-28/+21
* | Merge pull request #170 from AbsInt/remove_cminorXavier Leroy2017-02-151-65/+0
|\ \
| * | Removed CMinor import. Bug 20992Bernhard Schommer2017-02-141-65/+0
* | | Removed superfluous semicolon.Bernhard Schommer2017-02-141-1/+1
|/ /
* | Remove Optionsprinter. Bug 20993Bernhard Schommer2017-02-142-155/+1
* | Use "Local" as prefixXavier Leroy2017-02-131-1/+1
|/
* Merge branch 'elaboration-of-attributes'Xavier Leroy2017-02-061-0/+1
|\
| * Refactor the classification of attributesXavier Leroy2017-02-031-0/+1
* | Remove overriding open in Interp.Bernhard Schommer2017-02-031-11/+11
|/
* Fixed indention of help.Bernhard Schommer2017-01-271-3/+3
* Added option -fmax-errors.Bernhard Schommer2017-01-262-0/+22
* Allow .sx files for preprocessed assembler files.Bernhard Schommer2017-01-251-0/+3
* Use quoted strings.Bernhard Schommer2017-01-184-127/+138
* Added backtrace handler.Bernhard Schommer2017-01-171-0/+2
* add parameter to enforce a specific compcert build number for QSKs (bug 20595)Michael Schmidt2016-12-161-2/+14
* Also exit on errors. Bug 19872Bernhard Schommer2016-12-151-1/+1
* Check errors at the end. Bug 19872Bernhard Schommer2016-12-151-0/+1
generated by cgit (git 2.34.1) at 2024-06-01 11:40:03 +0000