aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
* Driveraux.mli: fix documentation commentXavier Leroy2016-06-221-1/+1
* Added version string to Clightgen.Bernhard Schommer2016-05-241-1/+1
* Moved shared frontend code in own file.Bernhard Schommer2016-05-246-275/+327
* Moved some system functions into own module.Bernhard Schommer2016-05-243-68/+120
* Added option to pass linker options to gcc.Bernhard Schommer2016-05-131-0/+2
* bug 18004, fix file extensions for dparse optionMichael Schmidt2016-04-251-1/+1
* Enabled Werror via command line option.Bernhard Schommer2016-04-251-0/+1
* Merge branch 'master' into cleanupBernhard Schommer2016-03-213-162/+265
|\
| * Merge pull request #93 from AbsInt/separate-compilationXavier Leroy2016-03-202-154/+257
| |\
| | * Misc updates following the introduction of the new linking frameworkXavier Leroy2016-03-061-5/+7
| | * Strengthen the main compiler correctness results to account for separate comp...Xavier Leroy2016-03-061-149/+250
| * | Print floating-point numbers with more digits in debug outputsXavier Leroy2016-03-151-2/+2
| |/
* | Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-152-39/+39
* | Code cleanup.Bernhard Schommer2016-03-103-60/+68
|/
* Added more support for gcc options.Bernhard Schommer2016-03-021-4/+75
* Merge remote-tracking branch 'origin/configuration-split'Bernhard Schommer2016-02-291-3/+12
|\
| * Split up tools and options.Bernhard Schommer2016-02-251-3/+12
* | Added gcc's Xassembler option.Bernhard Schommer2016-02-291-3/+8
* | Fixed typo. Bug 18066Bernhard Schommer2016-02-291-3/+4
* | Added some gcc linker options.Bernhard Schommer2016-02-261-0/+22
|/
* bug 18209, make message compatible to clangMichael Schmidt2016-02-231-1/+1
* bug 18209, check that input files existMichael Schmidt2016-02-231-0/+14
* Added new option for static linking.Bernhard Schommer2016-02-161-0/+2
* Fixed regression introduced by refactoring of Driver.ml.Bernhard Schommer2016-02-151-3/+7
* Added gcc cmd-line option -include.Bernhard Schommer2016-02-031-0/+3
* Added version and compiler working directory to options dump.Bernhard Schommer2016-01-271-0/+4
* Added new option -doptions.Bernhard Schommer2016-01-272-4/+58
* Added printer for Configuration and finished Clflags.Bernhard Schommer2016-01-253-69/+122
* Started implementing a printer for Clflags.Bernhard Schommer2016-01-252-0/+42
* Added option to dump preprocessed source code.Bernhard Schommer2016-01-222-4/+13
* More descriptive error message for failed command.Bernhard Schommer2016-01-111-4/+14
* add options for include paths also to the command line of the assembler, bug ...Michael Schmidt2015-12-231-2/+4
* Merge pull request #79 from AbsInt/config-optionXavier Leroy2015-12-192-8/+31
|\
| * Removed the open Filename.Bernhard Schommer2015-12-111-9/+8
| * Add a target option.Bernhard Schommer2015-12-112-3/+7
| * Allow relative paths for the tools.Bernhard Schommer2015-12-011-10/+21
| * Allow relative library path.Bernhard Schommer2015-11-301-2/+11
* | Revise and simplify the -fstruct-return and -fstruct-passing options.Xavier Leroy2015-12-082-33/+9
|/
* New option --conf.Bernhard Schommer2015-11-262-18/+31
* Separate assembler options for the diab backend.Bernhard Schommer2015-11-201-1/+4
* Added the compilation unit in the json export. Bug 17659.Bernhard Schommer2015-11-191-4/+4
* Added now option to control debug output.Bernhard Schommer2015-11-162-3/+10
* Harden Driver.command against EINTR errorsXavier Leroy2015-11-101-1/+5
* New option to control the debug information build.Bernhard Schommer2015-11-042-0/+3
* Added additional option for the renaming of the suffix of the sdumpBernhard Schommer2015-10-231-2/+6
* Merge remote-tracking branch 'origin/master' into named-externalsBernhard Schommer2015-10-202-16/+10
|\
| * Do not dump the .sdump files.Bernhard Schommer2015-10-161-15/+2
| * Implemented the usage of DW_AT_ranges for non-contiguous address ranges.Bernhard Schommer2015-10-162-1/+8
| * bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-142-36/+36
| * bug 17392: remove trailing whitespace in source filesMichael Schmidt2015-10-145-18/+18
generated by cgit (git 2.34.1) at 2024-06-02 14:40:01 +0000