aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Driver.ml
Commit message (Expand)AuthorAgeFilesLines
* Refactor the classification of attributesXavier Leroy2017-02-031-0/+1
* Fixed indention of help.Bernhard Schommer2017-01-271-3/+3
* Allow .sx files for preprocessed assembler files.Bernhard Schommer2017-01-251-0/+3
* Use quoted strings.Bernhard Schommer2017-01-181-74/+79
* 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
* Merge pull request #145 from AbsInt/64Xavier Leroy2016-10-271-3/+6
|\
| * Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...Xavier Leroy2016-10-271-1/+1
| * Support for 64-bit architectures: generic supportXavier Leroy2016-10-011-3/+6
* | Document -target and -conf. Bug 20210Bernhard Schommer2016-10-181-0/+2
* | Refactored debugging options.Bernhard Schommer2016-10-141-28/+5
* | Remove undocumented option. Bug 20193Bernhard Schommer2016-10-141-6/+2
* | Fix minor typoMichael Schmidt2016-10-121-1/+1
|/
* Merge pull request #139 from AbsInt/advanced-diagnosticsBernhard Schommer2016-09-201-31/+34
|\
| * Merge branch 'master' into advanced-diagnosticsBernhard Schommer2016-08-291-2/+17
| |\
| * | Additional test for color output.Bernhard Schommer2016-08-051-26/+27
| * | Classified all warnings and added various options.Bernhard Schommer2016-07-291-5/+7
* | | Added option to specify sdump folder. Fix 19816.Bernhard Schommer2016-09-161-2/+7
| |/ |/|
* | fix merge conflictsMichael Schmidt2016-08-171-0/+1
|\ \
| * \ Merge pull request #107 from AbsInt/add-fileXavier Leroy2016-08-171-0/+1
| |\ \
| | * | Added responsefile support for commandline.Bernhard Schommer2016-07-081-0/+1
* | | | Implement support for big endian arm targets.Bernhard Schommer2016-08-051-1/+3
|/ / /
* | / 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
|/
* Also add braces for arm. Bug 19197Bernhard Schommer2016-06-241-2/+2
* Moved assembler and linker into own files.Bernhard Schommer2016-06-241-110/+9
* Deactivate options target dependend.Bernhard Schommer2016-06-241-62/+82
* Added version string to Clightgen.Bernhard Schommer2016-05-241-1/+1
* Moved shared frontend code in own file.Bernhard Schommer2016-05-241-275/+105
* Moved some system functions into own module.Bernhard Schommer2016-05-241-68/+1
* 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
* Deactivate warning 27 and added back removed code.Bernhard Schommer2016-03-151-5/+5
* Code cleanup.Bernhard Schommer2016-03-101-14/+14
* Added more support for gcc options.Bernhard Schommer2016-03-021-4/+75
* 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 new option -doptions.Bernhard Schommer2016-01-271-3/+14
* Added printer for Configuration and finished Clflags.Bernhard Schommer2016-01-251-28/+26
* Started implementing a printer for Clflags.Bernhard Schommer2016-01-251-0/+1
* Added option to dump preprocessed source code.Bernhard Schommer2016-01-221-4/+12
generated by cgit (git 2.34.1) at 2024-06-28 21:54:32 +0000