aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | Also support union. Bug 20765Bernhard Schommer2017-01-201-3/+4
| * | Implement offsetof via builtin.Bernhard Schommer2017-01-208-3/+65
* | | Add LINK_OPT and document it.Bernhard Schommer2017-02-011-2/+15
| |/ |/|
* | 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
generated by cgit (git 2.34.1) at 2024-06-02 16:32:07 +0000