| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Check ptr arithmetic for ++ and -- | Bernhard Schommer | 2020-09-20 | 1 | -10/+16 |
| * | Add comments we missed to sync to GitHub | Christoph Cullmann | 2020-07-30 | 1 | -0/+2 |
| * | More checks for __builtin_va_start (#250) | Bernhard Schommer | 2020-07-21 | 1 | -6/+10 |
| * | Support _Static_assert from C11 | Xavier Leroy | 2020-07-21 | 1 | -1/+29 |
| * | Support __builtin_constant_p as in GCC and Clang (#367) | Xavier Leroy | 2020-07-21 | 1 | -0/+10 |
| * | Added error for redefined builtin. | Bernhard Schommer | 2020-07-20 | 1 | -0/+2 |
| * | Use library function. | Bernhard Schommer | 2020-06-28 | 1 | -4/+1 |
| * | Include typedef name in error message (#228) | Bernhard Schommer | 2020-03-04 | 1 | -2/+2 |
| * | The type of a wide char constant is wchar_t. (#223) | Bernhard Schommer | 2020-02-24 | 1 | -1/+2 |
| * | Cosmetic: in OCaml code, write "open! Module" instead of "open !Module" | Xavier Leroy | 2020-02-21 | 1 | -1/+1 |
| * | Added error for unknown builtin functions. (#208) | Bernhard Schommer | 2019-12-21 | 1 | -1/+6 |
| * | Remove duplicated ticks. | Bernhard Schommer | 2019-10-01 | 1 | -2/+2 |
| * | Various improvements for diagnostics. | Bernhard Schommer | 2019-09-30 | 1 | -10/+26 |
| * | Functions that are extern should stay extern (#201) | Bernhard Schommer | 2019-09-25 | 1 | -1/+1 |
| * | Make __builtin_sel available from C source code | Xavier Leroy | 2019-07-17 | 1 | -0/+36 |
| * | Remove the cparser/Builtins module | Xavier Leroy | 2019-07-17 | 1 | -1/+1 |
| * | New parser based on new version of the Coq backend of Menhir (#276) | Jacques-Henri Jourdan | 2019-07-05 | 1 | -2/+2 |
| * | Added new diagnostic for non-linear conditionals | Bernhard Schommer | 2019-07-04 | 1 | -0/+1 |
| * | New additional check for void parameters. (#174) | Bernhard Schommer | 2019-06-03 | 1 | -3/+5 |
| * | Fix misspellings in messages, man pages, and comments | Xavier Leroy | 2019-05-31 | 1 | -1/+1 |
| * | Add a check for the args of unprototyped calls. | Bernhard Schommer | 2019-05-20 | 1 | -3/+8 |
| * | Reworked elaboration of declarations/definitions. | Bernhard Schommer | 2019-05-10 | 1 | -140/+138 |
| * | Fix various scoping issues (#163) | Bernhard Schommer | 2019-05-10 | 1 | -51/+56 |
| * | Improve overflow check for integer literals (#157) | Michael Schmidt | 2019-03-20 | 1 | -2/+4 |
| * | Revised attachment of name attributes to structs, unions, enums | Xavier Leroy | 2019-02-25 | 1 | -6/+21 |
| * | Reject object-related and struct-related attributes on typedefs | Xavier Leroy | 2019-02-25 | 1 | -0/+7 |
| * | Distinguish object-related and name-related attributes | Xavier Leroy | 2019-02-25 | 1 | -8/+12 |
| * | Do not expand type names when floating attributes "up" a declaration | Xavier Leroy | 2019-02-25 | 1 | -1/+1 |
| * | Catch exception from elab_attr_arg. | Bernhard Schommer | 2018-10-18 | 1 | -1/+4 |
| * | Improved diagnostics: spelling, wording, etc (#138) | Michael Schmidt | 2018-09-14 | 1 | -4/+4 |
| * | Fatal error instead of error for bit-fields. | Bernhard Schommer | 2018-09-12 | 1 | -1/+1 |
| * | Attach _Alignas to names and refactor _Alignas checks (#133) | Bernhard Schommer | 2018-09-10 | 1 | -7/+10 |
| * | Move parameter check. | Bernhard Schommer | 2018-09-03 | 1 | -2/+6 |
| * | New diagnostic for reduced alignment (#117) | Bernhard Schommer | 2018-08-29 | 1 | -3/+32 |
| * | More standard compliant handling of _Alignas. | Bernhard Schommer | 2018-08-24 | 1 | -0/+11 |
| * | Preserve attribute(("aligned")) in the AST, don't map it to _Alignas | Xavier Leroy | 2018-08-24 | 1 | -2/+1 |
| * | Diagnostic for wrong application of restrict (#119) | Bernhard Schommer | 2018-08-21 | 1 | -4/+23 |
| * | Improve support and diagnostic for type qualified arrays (#118) | Bernhard Schommer | 2018-08-20 | 1 | -0/+6 |
| * | Added warning for incomplete tentative static defs (#114) | Bernhard Schommer | 2018-08-20 | 1 | -4/+5 |
| * | Additional checks for flex arrays in structs (#93) | Bernhard Schommer | 2018-08-20 | 1 | -5/+11 |
| * | 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 |
| * | 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 | 1 | -17/+35 |
| * | 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 | 1 | -0/+5 |
| * | Various improvements in the wording of diagnostics. | Michael Schmidt | 2018-08-02 | 1 | -74/+73 |
| * | Remove the `_Alignas(expr)` construct (#125) | Xavier Leroy | 2018-06-07 | 1 | -9/+1 |
| * | Warn for defs and uses of static variables in nonstatic inline functions | Xavier Leroy | 2018-06-04 | 1 | -16/+35 |
| * | Parameterize elab_expr by the full elaboration context | Xavier Leroy | 2018-06-04 | 1 | -30/+42 |
