Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | 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 | |
* | Driveraux.mli: fix documentation comment | Xavier Leroy | 2016-06-22 | 1 | -1/+1 | |
* | Added version string to Clightgen. | Bernhard Schommer | 2016-05-24 | 1 | -1/+1 |