aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
* CI test activate non-trap on kvx-cosLéo Gourdin2021-07-281-1/+1
* Add target ELFCyril SIX2021-06-012-0/+3
* Merge remote-tracking branch 'absint/master' into kvx-workCyril SIX2021-06-011-1/+1
|\
| * Support `# 0 ...` preprocessed line directiveXavier Leroy2021-06-011-1/+1
| * Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-0848-192/+240
| * Fix evaluation order in emulation of bitfield assignmentXavier Leroy2021-05-021-2/+2
| * Support __builtin_unreachableXavier Leroy2021-05-021-1/+5
| * Fix spurious error on initialization of struct with flexible array memberXavier Leroy2021-05-021-0/+3
| * Elab bitfields: check size of type <=32bit rather than checking rank (#387)Amos Robinson2021-04-191-1/+1
| * Refactor cparser/Parse.mlXavier Leroy2021-04-191-31/+29
| * Ensure compatibility with future versions of MenhirLibXavier Leroy2021-04-191-6/+7
* | Merge remote-tracking branch 'origin/kvx-work' into merge_master_8.13.1Cyril SIX2021-06-012-3/+12
|\ \
| * | Adding distinction between kvx-cos and kvx-mbr (for trapping loads)Cyril SIX2021-04-132-3/+12
* | | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-0148-226/+280
* | | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-234-5/+13
|\ \ \ | |/ / |/| / | |/
| * "macosx" is now called "macos"Xavier Leroy2021-01-182-3/+3
| * Change warning for pragmas inside functionsXavier Leroy2021-01-161-1/+1
| * Ignore and warn about pragmas inside functionsXavier Leroy2021-01-071-1/+4
| * AArch64: macOS portXavier Leroy2020-12-262-0/+4
| * C parser: handle other built-in types than __builtin_va_listXavier Leroy2020-12-261-1/+2
* | Turning loads into non-trapping when necessaryCyril SIX2020-12-152-1/+9
* | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-1817-1119/+1319
|\|
| * Check ptr arithmetic for ++ and --Bernhard Schommer2020-09-201-10/+16
| * Add new static-assert token for deLexer utility; bug 29273Michael Schmidt2020-08-041-0/+1
| * Add comments we missed to sync to GitHubChristoph Cullmann2020-07-301-0/+2
| * Allow string_literals_list in _Static_assert.Bernhard Schommer2020-07-272-24/+25
| * More checks for __builtin_va_start (#250)Bernhard Schommer2020-07-211-6/+10
| * cparser/handcrafted.messages: missing blank lineXavier Leroy2020-07-211-0/+1
| * Updated handcrafted.messages.Bernhard Schommer2020-07-211-0/+108
| * Support _Static_assert from C11Xavier Leroy2020-07-217-1060/+1116
| * Support __builtin_constant_p as in GCC and Clang (#367)Xavier Leroy2020-07-211-0/+10
| * Use the correct location for Slabaled in transform.Bernhard Schommer2020-07-211-2/+2
| * Added error for redefined builtin.Bernhard Schommer2020-07-203-0/+6
| * Introduce additional "branch" build information.Bernhard Schommer2020-07-081-5/+5
| * Move shared code in new file.Bernhard Schommer2020-06-281-1/+1
| * Use library function.Bernhard Schommer2020-06-281-4/+1
| * Use Hashtbl.find_opt.Bernhard Schommer2020-06-281-2/+1
| * Check for errors after each pass.Bernhard Schommer2020-04-201-1/+8
| * Added warning for packed composite with bitfields.Bernhard Schommer2020-04-201-0/+2
| * Add location to transform functions.Bernhard Schommer2020-04-204-28/+28
* | k1c -> kvx changesDavid Monniaux2020-05-262-3/+3
* | 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
generated by cgit (git 2.34.1) at 2024-06-02 20:35:35 +0000