aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 'dm-div2' of https://github.com/monniaux/CompCert into mppa-workDavid Monniaux2020-01-151-1/+6
|\
| * Added error for unknown builtin functions. (#208)Bernhard Schommer2019-12-211-1/+6
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-12-091-118/+42
|\|
| * Added back unused_ais_parameter warning.Bernhard Schommer2019-11-261-0/+1
| * Simplified diagnostics module.Bernhard Schommer2019-11-251-118/+41
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-11-134-12/+36
|\|
| * 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
* | [regression to check!] Merge tag 'v3.6' into mppa-workCyril SIX2019-10-162-0/+6
|\|
| * AArch64 portXavier Leroy2019-08-082-0/+6
* | Fix for test/regression/struct2.cCyril SIX2019-10-141-1/+2
* | Tackling struct passing by value for the future K1C ABICyril SIX2019-10-143-2/+12
* | Explicitly naming SP_split_args for easier greppingCyril SIX2019-10-141-1/+1
* | __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
generated by cgit (git 2.34.1) at 2024-06-11 18:59:45 +0000