aboutsummaryrefslogtreecommitdiffstats
path: root/driver
Commit message (Expand)AuthorAgeFilesLines
* Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->...Xavier Leroy2016-10-271-1/+1
* driver/Interp: updateXavier Leroy2016-10-241-8/+8
* Support for 64-bit architectures: update the PowerPC portXavier Leroy2016-10-011-456/+0
* Support for 64-bit architectures: generic supportXavier Leroy2016-10-013-4/+463
* Allow %lf type specifier in printf.Bernhard Schommer2016-09-221-1/+1
* Ignore also ignores the argunment. Bug 18004Bernhard Schommer2016-09-202-2/+7
* Merge pull request #139 from AbsInt/advanced-diagnosticsBernhard Schommer2016-09-203-31/+40
|\
| * Merge branch 'master' into advanced-diagnosticsBernhard Schommer2016-08-297-20/+93
| |\
| * | Additional test for color output.Bernhard Schommer2016-08-053-26/+33
| * | 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
| |/ |/|
* | Merge pull request #118 from AbsInt/armebXavier Leroy2016-08-243-1/+11
|\ \
| * \ fix merge conflictsMichael Schmidt2016-08-177-10/+61
| |\ \
| * | | Implement support for big endian arm targets.Bernhard Schommer2016-08-053-1/+11
* | | | Print whole command line.Bernhard Schommer2016-08-221-8/+8
| |/ / |/| |
* | | Merge pull request #107 from AbsInt/add-fileXavier Leroy2016-08-176-8/+57
|\ \ \
| * | | Moved quoting functions in ResponsefileBernhard Schommer2016-08-163-34/+8
| * | | Added missing begin end around quoting. Bug 18308.Bernhard Schommer2016-08-101-2/+2
| * | | Corrected diab quoting. Bug 18308Bernhard Schommer2016-07-211-8/+11
| * | | 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