aboutsummaryrefslogtreecommitdiffstats
path: root/cparser
Commit message (Expand)AuthorAgeFilesLines
* Adding distinction between kvx-cos and kvx-mbr (for trapping loads)Cyril SIX2021-04-132-3/+12
* 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
* | | 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
generated by cgit (git 2.34.1) at 2024-06-02 20:30:45 +0000