aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
...
| * | | Added support for quoting for diab backend.Bernhard Schommer2016-07-213-1/+20
| * | | Added simplified reader and printer for gnu @filesBernhard Schommer2016-07-204-9/+31
| * | | Merged responfile function into command.Bernhard Schommer2016-07-195-49/+33
| * | | Added heuristic for passing arg via responsefiles.Bernhard Schommer2016-07-125-11/+51
| * | | Added responsefile support for commandline.Bernhard Schommer2016-07-082-1/+8
* | | | Fixed issue with emulation of printfBernhard Schommer2016-08-171-2/+4
| |/ / |/| |
* | | Added -dall which enables all tracing.Bernhard Schommer2016-08-021-0/+12
| |/ |/|
* | add missing asmexpand step to cminor handler in driverMichael Schmidt2016-07-011-21/+27
|/
* Activate advanced debug information for arm, ia32.Bernhard Schommer2016-06-283-11/+1
* Also add braces for arm. Bug 19197Bernhard Schommer2016-06-241-2/+2
* Added braces back. Bug 19197Bernhard Schommer2016-06-241-16/+16
* Moved assembler and linker into own files.Bernhard Schommer2016-06-249-122/+210
* Deactivate options target dependend.Bernhard Schommer2016-06-242-110/+131
* 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
generated by cgit (git 2.34.1) at 2024-06-18 12:17:52 +0000