aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
* Include typedef name in error message (#228)Bernhard Schommer2020-03-041-2/+2
* The type of a wide char constant is wchar_t. (#223)Bernhard Schommer2020-02-241-1/+2
* Cosmetic: in OCaml code, write "open! Module" instead of "open !Module"Xavier Leroy2020-02-211-1/+1
* Support vertical tabs and treat them as whitespace (#218)Bernhard Schommer2020-02-181-1/+1
* Added error for unknown builtin functions. (#208)Bernhard Schommer2019-12-211-1/+6
* Added back unused_ais_parameter warning.Bernhard Schommer2019-11-261-0/+1
* Simplified diagnostics module.Bernhard Schommer2019-11-251-118/+41
* Remove duplicated ticks.Bernhard Schommer2019-10-011-2/+2
* Use pointer type for evaluated constants.Bernhard Schommer2019-10-011-1/+1
* Various improvements for diagnostics.Bernhard Schommer2019-09-303-10/+34
* Functions that are extern should stay extern (#201)Bernhard Schommer2019-09-251-1/+1
* AArch64 portXavier Leroy2019-08-082-0/+6
* 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
* New additional check for void parameters. (#174)Bernhard Schommer2019-06-031-3/+5
* 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
* 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
* 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
generated by cgit (git 2.34.1) at 2024-06-01 12:59:18 +0000