| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| ... | |
| * | Ignore generated conflict file. Bug 24455 | Bernhard Schommer | 2018-09-10 | 1 | -0/+1 |
| * | Bug 23389 | Bernhard Schommer | 2018-09-04 | 0 | -0/+0 |
| * | Merge branch 'master' of github.com:AbsInt/CompCert | Bernhard Schommer | 2018-09-04 | 1 | -1/+1 |
| |\ |
|
| | * | Typo in comment | Xavier Leroy | 2018-09-03 | 1 | -1/+1 |
| * | | document new named warning class 'reduced-alignment', bug 23389 | Michael Schmidt | 2018-09-04 | 1 | -0/+4 |
| |/ |
|
| * | Move parameter check. | Bernhard Schommer | 2018-09-03 | 1 | -2/+6 |
| * | New diagnostic for reduced alignment (#117) | Bernhard Schommer | 2018-08-29 | 3 | -3/+38 |
| * | Bug 24374 | Bernhard Schommer | 2018-08-29 | 0 | -0/+0 |
| * | Merge pull request #251 from AbsInt/configure-error-behavior | Xavier Leroy | 2018-08-29 | 1 | -0/+14 |
| |\ |
|
| | * | Improve reporting of configuration errors | Xavier Leroy | 2018-08-28 | 1 | -0/+10 |
| | * | Remove leftover Makefile.config before configuration | Xavier Leroy | 2018-08-28 | 1 | -0/+4 |
| * | | Bug 24366 | Bernhard Schommer | 2018-08-28 | 0 | -0/+0 |
| * | | Import prim token notations before using them, continued | Xavier Leroy | 2018-08-27 | 1 | -0/+1 |
| * | | Import prim token notations before using them | Jason Gross | 2018-08-27 | 4 | -1/+4 |
| * | | Bug 24351 | Bernhard Schommer | 2018-08-27 | 0 | -0/+0 |
| |/ |
|
| * | Make generated file cparser/Parser.v read-only | Xavier Leroy | 2018-08-27 | 1 | -0/+2 |
| * | Improve execution of regression tests | Xavier Leroy | 2018-08-24 | 4 | -16/+45 |
| * | Edit documentation comments for [alignas_attribute] and [has_std_alignas] | Xavier Leroy | 2018-08-24 | 1 | -2/+3 |
| * | More standard compliant handling of _Alignas. | Bernhard Schommer | 2018-08-24 | 1 | -0/+11 |
| * | Add check for _Alignas attribute. | Bernhard Schommer | 2018-08-24 | 2 | -0/+6 |
| * | Reimplement attr_array_applicable in terms of class_of_attribute | Xavier Leroy | 2018-08-24 | 1 | -3/+2 |
| * | Preserve attribute(("aligned")) in the AST, don't map it to _Alignas | Xavier Leroy | 2018-08-24 | 2 | -2/+3 |
| * | Fix typo in pattern match of error case, bug 24326 | Michael Schmidt | 2018-08-22 | 1 | -1/+1 |
| * | Document new named warning for tentative static definitions with incomplete t... | Michael Schmidt | 2018-08-21 | 1 | -0/+4 |
| * | Document new named warning for flexible arrays, bug 23324 | Michael Schmidt | 2018-08-21 | 1 | -1/+1 |
| * | Document new named warning for flexible arrays, bug 23324 | Michael Schmidt | 2018-08-21 | 1 | -0/+4 |
| * | Fix passing of -u to linker. | Bernhard Schommer | 2018-08-21 | 1 | -1/+1 |
| * | Diagnostic for wrong application of restrict (#119) | Bernhard Schommer | 2018-08-21 | 3 | -7/+33 |
| * | Harden the extasm.c test, continued | Xavier Leroy | 2018-08-20 | 2 | -5/+5 |
| * | Improve support and diagnostic for type qualified arrays (#118) | Bernhard Schommer | 2018-08-20 | 3 | -1/+18 |
| * | Added warning for incomplete tentative static defs (#114) | Bernhard Schommer | 2018-08-20 | 3 | -4/+11 |
| * | Harden the extasm.c test | Xavier Leroy | 2018-08-20 | 2 | -2/+7 |
| * | Additional checks for flex arrays in structs (#93) | Bernhard Schommer | 2018-08-20 | 5 | -5/+30 |
| * | Add sizeof_reg and new Machine configurations (#129) | Bernhard Schommer | 2018-08-20 | 4 | -5/+25 |
| * | Turn error into fatal error for unnamed parameter. | Bernhard Schommer | 2018-08-20 | 1 | -2/+4 |
| * | For "packed" attribute, check that 3rd parameter is 0 or 1 | Xavier Leroy | 2018-08-17 | 1 | -1/+1 |
| * | Wrong AST for GCC-style attributes | Xavier Leroy | 2018-08-17 | 1 | -1/+1 |
| * | Check for bit-fields in __builtin_offsetof | Xavier Leroy | 2018-08-17 | 1 | -1/+4 |
| * | Issue with packed structs and sizeof, alignof, offsetof in cparser/ | Xavier Leroy | 2018-08-17 | 8 | -102/+202 |
| * | Added a check for parameters without identifiers. (#128) | Bernhard Schommer | 2018-08-17 | 1 | -5/+7 |
| * | Earlier check for invalid asm outputs. (#130) | Bernhard Schommer | 2018-08-17 | 2 | -2/+5 |
| * | Also check parameters for unknown attributes. | Bernhard Schommer | 2018-08-16 | 1 | -0/+1 |
| * | Remove undocumented option. | Bernhard Schommer | 2018-08-07 | 1 | -4/+0 |
| * | Various improvements in the wording of diagnostics. | Michael Schmidt | 2018-08-02 | 13 | -99/+98 |
| * | Added Pldi to instr_size. | Bernhard Schommer | 2018-08-01 | 1 | -0/+1 |
| * | Bug 24150 | Michael Schmidt | 2018-07-19 | 0 | -0/+0 |
| * | Update cparser/GNUmakefile to be compatible with BSD's cut utility. Choose be... | Michael Schmidt | 2018-07-19 | 1 | -2/+2 |
| * | Compatibility with OCaml 4.07 (#241) continued | Bernhard Schommer | 2018-07-12 | 1 | -1/+1 |
| * | Fix expansion of ctzl/clzl builtin for 64bit targets (#127) | Michael Schmidt | 2018-07-12 | 1 | -2/+15 |
| * | Bug 24090, Bug 24091 | Bernhard Schommer | 2018-07-11 | 0 | -0/+0 |
