aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
...
* | Merge remote-tracking branch 'origin/mppa-work' into mppa-threadDavid Monniaux2020-04-081-3/+4
|\ \
| * | Merge branch 'dm-leaf' of https://github.com/monniaux/CompCert into mppa-workDavid Monniaux2020-03-261-2/+2
| |\|
| | * Include typedef name in error message (#228)Bernhard Schommer2020-03-041-2/+2
| * | Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-03-033-1/+47
| |\ \ | | |/ | |/|
| * | The type of a wide char constant is wchar_t. (#223)Bernhard Schommer2020-02-241-1/+2
* | | Merge branch 'mppa-work' into mppa-threadCyril SIX2020-02-252-2/+2
|\ \ \
| * | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2020-02-242-2/+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
* | | it now works, no more ugly hack to access thread local dataDavid Monniaux2020-02-241-1/+1
* | | seems to process _Thread_local but not till backendDavid Monniaux2020-02-243-3/+7
* | | actually process the modifiersDavid Monniaux2020-02-241-2/+12
* | | begin implementing thread_local storageDavid Monniaux2020-02-245-6/+31
* | | parse _Thread_localDavid Monniaux2020-02-246-3/+11
|/ /
* | 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
generated by cgit (git 2.34.1) at 2024-05-08 19:49:02 +0000