aboutsummaryrefslogtreecommitdiffstats
path: root/driver/Driver.ml
Commit message (Expand)AuthorAgeFilesLines
...
* Remove duplicated code. Bug 20521Bernhard Schommer2018-01-041-46/+26
* Remove all temporary files at program exit (#46)Bernhard Schommer2018-01-031-18/+6
* 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-071-1/+4
* Remove temporary .o files after linking (#36)Xavier Leroy2017-11-271-2/+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
* Formatted json printing.Bernhard Schommer2017-06-281-8/+23
* Added a little bit more compilation info to sdump.Bernhard Schommer2017-06-261-2/+9
* RISC-V port and assorted changesXavier Leroy2017-04-281-0/+3
* Add optimization option finline.Bernhard Schommer2017-04-071-0/+1
* Added missing dltl to dall.Bernhard Schommer2017-03-081-0/+1
* 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-141-14/+1
* 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
generated by cgit (git 2.34.1) at 2024-06-02 17:11:36 +0000