| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work | David Monniaux | 2019-06-06 | 1 | -3/+5 |
| |\ |
|
| | * | New additional check for void parameters. (#174) | Bernhard Schommer | 2019-06-03 | 1 | -3/+5 |
| * | | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-... | David Monniaux | 2019-06-03 | 7 | -208/+229 |
| |\| |
|
| | * | Fix misspellings in messages, man pages, and comments | Xavier Leroy | 2019-05-31 | 5 | -9/+9 |
| | * | 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 |
| | * | Change to AbsInt version string. | Bernhard Schommer | 2019-05-10 | 1 | -1/+1 |
| | * | Check for reserved keywords. | Bernhard Schommer | 2019-05-10 | 1 | -1/+8 |
| | * | Fix various scoping issues (#163) | Bernhard Schommer | 2019-05-10 | 1 | -51/+56 |
| | * | Ensure flushing of the error formatter. | Bernhard Schommer | 2019-05-10 | 1 | -0/+4 |
| | * | Reset scope ids later. | Bernhard Schommer | 2019-04-16 | 1 | -1/+1 |
| | * | Improve overflow check for integer literals (#157) | Michael Schmidt | 2019-03-20 | 1 | -2/+4 |
| * | | Merge branch 'master' into mppa_postpass | Cyril SIX | 2019-03-13 | 5 | -27/+88 |
| |\| |
|
| | * | 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 | 4 | -8/+19 |
| | * | Distinguish object-related and name-related attributes | Xavier Leroy | 2019-02-25 | 3 | -11/+21 |
| | * | Do not expand type names when floating attributes "up" a declaration | Xavier Leroy | 2019-02-25 | 3 | -2/+24 |
| | * | Fix fixme in PackedStructs. | Bernhard Schommer | 2018-11-20 | 1 | -4/+4 |
| | * | Catch exception from elab_attr_arg. | Bernhard Schommer | 2018-10-18 | 1 | -1/+4 |
| * | | long types are 8 bytes now | Cyril SIX | 2019-01-30 | 1 | -0/+1 |
| * | | Merge tag 'v3.4' into mppa_k1c | Cyril SIX | 2018-11-21 | 38 | -1019/+1647 |
| |\| |
|
| | * | Improved diagnostics: spelling, wording, etc (#138) | Michael Schmidt | 2018-09-14 | 3 | -6/+6 |
| | * | 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 | 3 | -12/+16 |
| | * | Typo in comment | Xavier Leroy | 2018-09-03 | 1 | -1/+1 |
| | * | 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 |
| | * | 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 |
| | * | Diagnostic for wrong application of restrict (#119) | Bernhard Schommer | 2018-08-21 | 3 | -7/+33 |
| | * | 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 |
| | * | 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 | 3 | -1/+19 |
| | * | 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 | 4 | -95/+139 |
| | * | 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 |
| | * | Various improvements in the wording of diagnostics. | Michael Schmidt | 2018-08-02 | 4 | -79/+78 |
| | * | Update cparser/GNUmakefile to be compatible with BSD's cut utility. Choose be... | Michael Schmidt | 2018-07-19 | 1 | -2/+2 |
| | * | Update delexer for BUILTIN_OFFSETOF. Bug 23929 | Bernhard Schommer | 2018-07-05 | 1 | -0/+1 |
| | * | Remove the `_Alignas(expr)` construct (#125) | Xavier Leroy | 2018-06-07 | 5 | -575/+566 |
| | * | Fix menhirLib namespaces, following changes in Menhir version 20180530 | Jacques-Henri Jourdan | 2018-06-06 | 11 | -0/+0 |
