aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
* Implement support for big endian arm targets.Bernhard Schommer2016-08-053-1/+11
* 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
* | 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
generated by cgit (git 2.34.1) at 2024-06-02 20:18:05 +0000