aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
* -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
* 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
|/
generated by cgit (git 2.34.1) at 2024-06-02 19:49:08 +0000