Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge branch 'elaboration-of-attributes' | Xavier Leroy | 2017-02-06 | 1 | -0/+1 |
|\ | |||||
| * | Refactor the classification of attributes | Xavier Leroy | 2017-02-03 | 1 | -0/+1 |
* | | Remove overriding open in Interp. | Bernhard Schommer | 2017-02-03 | 1 | -11/+11 |
|/ | |||||
* | Fixed indention of help. | Bernhard Schommer | 2017-01-27 | 1 | -3/+3 |
* | Added option -fmax-errors. | Bernhard Schommer | 2017-01-26 | 2 | -0/+22 |
* | Allow .sx files for preprocessed assembler files. | Bernhard Schommer | 2017-01-25 | 1 | -0/+3 |
* | Use quoted strings. | Bernhard Schommer | 2017-01-18 | 4 | -127/+138 |
* | Added backtrace handler. | Bernhard Schommer | 2017-01-17 | 1 | -0/+2 |
* | add parameter to enforce a specific compcert build number for QSKs (bug 20595) | Michael Schmidt | 2016-12-16 | 1 | -2/+14 |
* | Also exit on errors. Bug 19872 | Bernhard Schommer | 2016-12-15 | 1 | -1/+1 |
* | Check errors at the end. Bug 19872 | Bernhard Schommer | 2016-12-15 | 1 | -0/+1 |
* | remove unused file, update tests for arch-field of configuration files | Michael Schmidt | 2016-11-03 | 1 | -1/+1 |
* | Merge pull request #145 from AbsInt/64 | Xavier Leroy | 2016-10-27 | 3 | -11/+14 |
|\ | |||||
| * | Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->... | Xavier Leroy | 2016-10-27 | 1 | -1/+1 |
| * | driver/Interp: update | Xavier Leroy | 2016-10-24 | 1 | -8/+8 |
| * | Support for 64-bit architectures: update the PowerPC port | Xavier Leroy | 2016-10-01 | 1 | -456/+0 |
| * | Support for 64-bit architectures: generic support | Xavier Leroy | 2016-10-01 | 3 | -4/+463 |
* | | Document -target and -conf. Bug 20210 | Bernhard Schommer | 2016-10-18 | 1 | -0/+2 |
* | | Refactored debugging options. | Bernhard Schommer | 2016-10-14 | 2 | -29/+6 |
* | | Remove undocumented option. Bug 20193 | Bernhard Schommer | 2016-10-14 | 3 | -8/+2 |
* | | Fix minor typo | Michael Schmidt | 2016-10-12 | 1 | -1/+1 |
* | | Fixed regression in printing of floats. | Bernhard Schommer | 2016-10-04 | 1 | -1/+1 |
|/ | |||||
* | Allow %lf type specifier in printf. | Bernhard Schommer | 2016-09-22 | 1 | -1/+1 |
* | Ignore also ignores the argunment. Bug 18004 | Bernhard Schommer | 2016-09-20 | 2 | -2/+7 |
* | Merge pull request #139 from AbsInt/advanced-diagnostics | Bernhard Schommer | 2016-09-20 | 3 | -31/+40 |
|\ | |||||
| * | Merge branch 'master' into advanced-diagnostics | Bernhard Schommer | 2016-08-29 | 7 | -20/+93 |
| |\ | |||||
| * | | Additional test for color output. | Bernhard Schommer | 2016-08-05 | 3 | -26/+33 |
| * | | Classified all warnings and added various options. | Bernhard Schommer | 2016-07-29 | 1 | -5/+7 |
* | | | Added option to specify sdump folder. Fix 19816. | Bernhard Schommer | 2016-09-16 | 1 | -2/+7 |
| |/ |/| | |||||
* | | Merge pull request #118 from AbsInt/armeb | Xavier Leroy | 2016-08-24 | 3 | -1/+11 |
|\ \ | |||||
| * \ | fix merge conflicts | Michael Schmidt | 2016-08-17 | 7 | -10/+61 |
| |\ \ | |||||
| * | | | Implement support for big endian arm targets. | Bernhard Schommer | 2016-08-05 | 3 | -1/+11 |
* | | | | Print whole command line. | Bernhard Schommer | 2016-08-22 | 1 | -8/+8 |
| |/ / |/| | | |||||
* | | | Merge pull request #107 from AbsInt/add-file | Xavier Leroy | 2016-08-17 | 6 | -8/+57 |
|\ \ \ | |||||
| * | | | Moved quoting functions in Responsefile | Bernhard Schommer | 2016-08-16 | 3 | -34/+8 |
| * | | | Added missing begin end around quoting. Bug 18308. | Bernhard Schommer | 2016-08-10 | 1 | -2/+2 |
| * | | | Corrected diab quoting. Bug 18308 | Bernhard Schommer | 2016-07-21 | 1 | -8/+11 |
| * | | | Added support for quoting for diab backend. | Bernhard Schommer | 2016-07-21 | 3 | -1/+20 |
| * | | | Added simplified reader and printer for gnu @files | Bernhard Schommer | 2016-07-20 | 4 | -9/+31 |
| * | | | Merged responfile function into command. | Bernhard Schommer | 2016-07-19 | 5 | -49/+33 |
| * | | | Added heuristic for passing arg via responsefiles. | Bernhard Schommer | 2016-07-12 | 5 | -11/+51 |
| * | | | Added responsefile support for commandline. | Bernhard Schommer | 2016-07-08 | 2 | -1/+8 |
* | | | | Fixed issue with emulation of printf | Bernhard Schommer | 2016-08-17 | 1 | -2/+4 |
| |/ / |/| | | |||||
* | | | Added -dall which enables all tracing. | Bernhard Schommer | 2016-08-02 | 1 | -0/+12 |
| |/ |/| | |||||
* | | add missing asmexpand step to cminor handler in driver | Michael Schmidt | 2016-07-01 | 1 | -21/+27 |
|/ | |||||
* | Activate advanced debug information for arm, ia32. | Bernhard Schommer | 2016-06-28 | 3 | -11/+1 |
* | Also add braces for arm. Bug 19197 | Bernhard Schommer | 2016-06-24 | 1 | -2/+2 |
* | Added braces back. Bug 19197 | Bernhard Schommer | 2016-06-24 | 1 | -16/+16 |
* | Moved assembler and linker into own files. | Bernhard Schommer | 2016-06-24 | 9 | -122/+210 |
* | Deactivate options target dependend. | Bernhard Schommer | 2016-06-24 | 2 | -110/+131 |