aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
* Merge tag 'v3.6' of https://github.com/AbsInt/CompCert into mppa-work-upstrea...David Monniaux2019-09-202-0/+5
|\
| * AArch64 portXavier Leroy2019-08-082-0/+6
* | __builtin_bswap16, 32 and 64Cyril SIX2019-09-201-1/+1
* | Fixing machine description (error in wchar signedness + trying different valu...Cyril SIX2019-09-191-5/+32
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-07-1935-3830/+846
|\|
| * Make __builtin_sel available from C source codeXavier Leroy2019-07-171-0/+36
| * Remove the cparser/Builtins moduleXavier Leroy2019-07-1712-87/+62
| * Change condition for warning of conditional exprBernhard Schommer2019-07-101-1/+1
| * Compatibility with OCaml 4.08 (#302)Xavier Leroy2019-07-081-1/+1
| * New parser based on new version of the Coq backend of Menhir (#276)Jacques-Henri Jourdan2019-07-0519-3635/+472
| * Deref is not safe.Bernhard Schommer2019-07-041-1/+1
| * Added new diagnostic for non-linear conditionalsBernhard Schommer2019-07-046-1/+179
| * Added helper function for array types.Bernhard Schommer2019-07-042-0/+7
| * Added statement traversal functions.Bernhard Schommer2019-07-041-107/+90
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-workDavid Monniaux2019-06-061-3/+5
|\|
| * New additional check for void parameters. (#174)Bernhard Schommer2019-06-031-3/+5
* | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-037-208/+229
|\|
| * Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-315-9/+9
| * Add a check for the args of unprototyped calls.Bernhard Schommer2019-05-201-3/+8
| * Reworked elaboration of declarations/definitions.Bernhard Schommer2019-05-101-140/+138
| * Change to AbsInt version string.Bernhard Schommer2019-05-101-1/+1
| * Check for reserved keywords.Bernhard Schommer2019-05-101-1/+8
| * Fix various scoping issues (#163)Bernhard Schommer2019-05-101-51/+56
| * Ensure flushing of the error formatter.Bernhard Schommer2019-05-101-0/+4
| * Reset scope ids later.Bernhard Schommer2019-04-161-1/+1
| * Improve overflow check for integer literals (#157)Michael Schmidt2019-03-201-2/+4
* | Merge branch 'master' into mppa_postpassCyril SIX2019-03-135-27/+88
|\|
| * Revised attachment of name attributes to structs, unions, enumsXavier Leroy2019-02-251-6/+21
| * Reject object-related and struct-related attributes on typedefsXavier Leroy2019-02-254-8/+19
| * Distinguish object-related and name-related attributesXavier Leroy2019-02-253-11/+21
| * Do not expand type names when floating attributes "up" a declarationXavier Leroy2019-02-253-2/+24
| * Fix fixme in PackedStructs.Bernhard Schommer2018-11-201-4/+4
| * Catch exception from elab_attr_arg.Bernhard Schommer2018-10-181-1/+4
* | long types are 8 bytes nowCyril SIX2019-01-301-0/+1
* | Merge tag 'v3.4' into mppa_k1cCyril SIX2018-11-2138-1019/+1647
|\|
| * Improved diagnostics: spelling, wording, etc (#138)Michael Schmidt2018-09-143-6/+6
| * Fatal error instead of error for bit-fields.Bernhard Schommer2018-09-121-1/+1
| * Attach _Alignas to names and refactor _Alignas checks (#133)Bernhard Schommer2018-09-103-12/+16
| * Typo in commentXavier Leroy2018-09-031-1/+1
| * Move parameter check.Bernhard Schommer2018-09-031-2/+6
| * New diagnostic for reduced alignment (#117)Bernhard Schommer2018-08-293-3/+38
| * Edit documentation comments for [alignas_attribute] and [has_std_alignas]Xavier Leroy2018-08-241-2/+3
| * More standard compliant handling of _Alignas.Bernhard Schommer2018-08-241-0/+11
| * Add check for _Alignas attribute.Bernhard Schommer2018-08-242-0/+6
| * Reimplement attr_array_applicable in terms of class_of_attributeXavier Leroy2018-08-241-3/+2
| * Preserve attribute(("aligned")) in the AST, don't map it to _AlignasXavier Leroy2018-08-242-2/+3
| * Diagnostic for wrong application of restrict (#119)Bernhard Schommer2018-08-213-7/+33
| * Improve support and diagnostic for type qualified arrays (#118)Bernhard Schommer2018-08-203-1/+18
| * Added warning for incomplete tentative static defs (#114)Bernhard Schommer2018-08-203-4/+11
| * Additional checks for flex arrays in structs (#93)Bernhard Schommer2018-08-205-5/+30
generated by cgit (git 2.34.1) at 2024-06-11 23:09:32 +0000