aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Revised elaboration of attributesXavier Leroy2017-01-318-22/+38
* Typo in type of elab_char_constantXavier Leroy2017-01-311-1/+1
* Update Changes for release 3.0Xavier Leroy2017-01-311-2/+39
* Export elab_{int,float,char}_constantXavier Leroy2017-01-311-0/+9
* Added support for different diagnostic formats.Bernhard Schommer2017-01-301-2/+25
* Switch case for error option. Bug 19872Bernhard Schommer2017-01-301-2/+2
* Fixed indention of help.Bernhard Schommer2017-01-271-3/+3
* Added -f(no-)diagnostics-show-option.Bernhard Schommer2017-01-271-6/+20
* Added option -fmax-errors.Bernhard Schommer2017-01-263-3/+36
* mention share directory for -target optionMichael Schmidt2017-01-261-0/+1
* describe -conf and -targetMichael Schmidt2017-01-261-0/+11
* describe environment variable for configuration fileMichael Schmidt2017-01-261-2/+10
* Added -w to disable all options. Bug 19872Bernhard Schommer2017-01-261-1/+6
* Allow .sx files for preprocessed assembler files.Bernhard Schommer2017-01-251-0/+3
* Do not print anonymous member names in debug infoBernhard Schommer2017-01-245-4/+6
* Also remove coq aux files.Bernhard Schommer2017-01-241-0/+1
* Improve wording of normal backtrace case Bug 19872Bernhard Schommer2017-01-191-1/+3
* Simplified C2C.error.Bernhard Schommer2017-01-182-19/+16
* Use quoted strings.Bernhard Schommer2017-01-186-143/+156
* More comments and improvements for unknown loc.Bernhard Schommer2017-01-182-1/+27
* Remove duplaceted relese. Bug 20681Bernhard Schommer2017-01-171-1/+1
* Added missing whitespace. Bug 19872Bernhard Schommer2017-01-171-1/+1
* Safe the backtrace earlier. Bug 20681Bernhard Schommer2017-01-171-12/+13
* bug 20679, more precise description of -gMichael Schmidt2017-01-171-1/+1
* Added backtrace handler.Bernhard Schommer2017-01-173-0/+21
* Fix typosMichael Schmidt2017-01-041-2/+2
* Allow multiple nameless bit field fields.Bernhard Schommer2016-12-291-2/+4
* Filter macOS metadata files in .gitignoreMichael Schmidt2016-12-281-0/+2
* Merge pull request #153 from AbsInt/anonymous_struct2Bernhard Schommer2016-12-277-39/+113
|\
| * Avoid exception catch-allXavier Leroy2016-12-261-1/+1
| * Cosmetic indentation changeXavier Leroy2016-12-261-5/+4
| * Added code for initializers. Bug 20003Bernhard Schommer2016-12-121-1/+19
| * Moved naming and changed names of aux functionsBernhard Schommer2016-12-121-16/+20
| * Next try for support of anonymous structs.Bernhard Schommer2016-12-077-41/+94
* | Replace 'decide equality' in x86/Op.v by custom tactics from lib/BoolEqual.vXavier Leroy2016-12-263-9/+176
* | 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
* | Fallthrough no depends on the last instruction.Bernhard Schommer2016-12-151-4/+4
* | Be more conservative in emiting constants.Bernhard Schommer2016-12-151-815/+827
* | bug 20593, document new warning class in man-pageMichael Schmidt2016-12-141-0/+4
* | Added warning for inline asm in sdump. Bug 20593Bernhard Schommer2016-12-143-1/+13
|/
* More verbose dwarf.Bernhard Schommer2016-12-073-4/+6
* Use -Wno- instead of -Wno to deactivate warnings.Bernhard Schommer2016-12-061-1/+1
* fix targets in section for code generation optionsMichael Schmidt2016-12-021-1/+5
* Compute the correct size of location expressions.Bernhard Schommer2016-12-011-1/+1
* Use vfpv3 registers also in dwarf. Bug 20489Bernhard Schommer2016-11-291-5/+10
* Reset all Hashtbls.Bernhard Schommer2016-11-252-10/+14
* Do not use hardcoded register number for sp.Bernhard Schommer2016-11-252-11/+11
* Warning for C11 _Noreturn feature.Bernhard Schommer2016-11-221-4/+10
generated by cgit (git 2.34.1) at 2024-07-01 15:04:37 +0000