| Commit message (Expand) | Author | Age | Files | Lines |
* | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8 | David Monniaux | 2020-11-18 | 1 | -1/+17 |
|\ |
|
| * | Add -main option to specify entrypoint function in interpreter mode (#374) | Xavier Leroy | 2020-10-30 | 1 | -1/+1 |
| * | Add __builtin_sqrt as synonymous for __builtin_fsqrt | Xavier Leroy | 2020-07-27 | 1 | -0/+2 |
| * | Move declarations of __builtin_clz* and __builtin_ctz* to C2C.ml | Xavier Leroy | 2020-07-27 | 1 | -0/+12 |
| * | Add support for __builtin_fabsf | Xavier Leroy | 2020-07-27 | 1 | -0/+2 |
* | | Merge remote-tracking branch 'origin/mppa-expect3' into mppa-work | David Monniaux | 2020-04-09 | 1 | -2/+11 |
|\ \ |
|
| * | | expect operation | David Monniaux | 2020-04-07 | 1 | -0/+8 |
| * | | Merge remote-tracking branch 'origin/mppa-work' into mppa-expect | David Monniaux | 2020-04-06 | 1 | -5/+22 |
| |\ \ |
|
| * | | | __builtin_expect defined as its first argument | David Monniaux | 2019-09-25 | 1 | -2/+3 |
* | | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-thread | David Monniaux | 2020-04-08 | 1 | -2/+2 |
|\ \ \ \
| | |/ /
| |/| | |
|
| * | | | Merge remote-tracking branch 'origin/master' into attempt-fix-mppa-work | Cyril SIX | 2020-04-01 | 1 | -2/+2 |
| |\ \ \
| | | |/
| | |/| |
|
| | * | | Explicit error messages for ill-formed section attributes (#232) | Bernhard Schommer | 2020-03-29 | 1 | -2/+2 |
| * | | | Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe... | David Monniaux | 2020-03-03 | 1 | -4/+36 |
| |\ \ \
| | |/ /
| |/| | |
|
* | | | | Merge branch 'mppa-work' into mppa-thread | Cyril SIX | 2020-02-25 | 1 | -3/+15 |
|\ \ \ \ |
|
| * | | | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up... | David Monniaux | 2020-02-24 | 1 | -3/+15 |
| |\| | |
| | |/ /
| |/| | |
|
| | * | | More precise determination of small data accesses (#220) | Bernhard Schommer | 2020-02-20 | 1 | -3/+15 |
* | | | | thread local declarations now work | David Monniaux | 2020-02-24 | 1 | -1/+5 |
* | | | | it now works, no more ugly hack to access thread local data | David Monniaux | 2020-02-24 | 1 | -0/+9 |
* | | | | seems to process _Thread_local but not till backend | David Monniaux | 2020-02-24 | 1 | -7/+14 |
|/ / / |
|
* | / | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up... | David Monniaux | 2019-12-09 | 1 | -0/+5 |
|\| |
| |/
|/| |
|
| * | Fix for AArch64 alignment problem (#206) | Bernhard Schommer | 2019-11-28 | 1 | -0/+5 |
* | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up... | David Monniaux | 2019-08-28 | 1 | -1/+3 |
|\| |
|
| * | bswap builtins: give semantics to them, support bswap64 on all targets | Bernhard Schommer | 2019-08-12 | 1 | -1/+3 |
* | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up... | David Monniaux | 2019-07-19 | 1 | -25/+45 |
|\| |
|
| * | Make __builtin_sel available from C source code | Xavier Leroy | 2019-07-17 | 1 | -0/+9 |
| * | Remove the cparser/Builtins module | Xavier Leroy | 2019-07-17 | 1 | -7/+10 |
| * | Change the expected types for arguments to __builtin_annot, and extended asm | Xavier Leroy | 2019-06-19 | 1 | -5/+25 |
* | | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-... | David Monniaux | 2019-06-03 | 1 | -5/+5 |
|\| |
|
| * | Fix misspellings in messages, man pages, and comments | Xavier Leroy | 2019-05-31 | 1 | -1/+1 |
| * | Upgrade embedded version of Flocq to 3.1. | Guillaume Melquiond | 2019-03-27 | 1 | -4/+4 |
* | | ternary ops for float/double | David Monniaux | 2019-04-03 | 1 | -0/+4 |
* | | problem in ValueAOp | David Monniaux | 2019-04-03 | 1 | -0/+1 |
* | | attempts at generating builtins, start | David Monniaux | 2019-04-03 | 1 | -1/+8 |
* | | la division flottante fonctionne | David Monniaux | 2019-03-20 | 1 | -2/+16 |
* | | ça semble passer | David Monniaux | 2019-03-20 | 1 | -2/+4 |
* | | added helper functions but strange | David Monniaux | 2019-03-19 | 1 | -1/+17 |
|/ |
|
* | Distinguish object-related and name-related attributes | Xavier Leroy | 2019-02-25 | 1 | -2/+3 |
* | Improved diagnostics: spelling, wording, etc (#138) | Michael Schmidt | 2018-09-14 | 1 | -8/+8 |
* | Attach _Alignas to names and refactor _Alignas checks (#133) | Bernhard Schommer | 2018-09-10 | 1 | -2/+2 |
* | Issue with packed structs and sizeof, alignof, offsetof in cparser/ | Xavier Leroy | 2018-08-17 | 1 | -1/+3 |
* | Compatibility with OCaml 4.07 (#241) continued | Xavier Leroy | 2018-07-10 | 1 | -1/+1 |
* | String literals are l-values and have array types (#116) | Bernhard Schommer | 2018-05-27 | 1 | -6/+7 |
* | Record value of constant expression in C.Scase constructor | Xavier Leroy | 2018-04-27 | 1 | -1/+1 |
* | Warn when volatile struct is assigned to a normal struct | Bernhard Schommer | 2018-04-19 | 1 | -0/+3 |
* | Improve and simplify error messages. | Bernhard Schommer | 2018-03-07 | 1 | -5/+1 |
* | Reactivated and improved ais annotations. | Bernhard Schommer | 2018-03-06 | 1 | -24/+35 |
* | Truncation of array sizes when converting them to Coq's Z type | Xavier Leroy | 2018-02-08 | 1 | -6/+8 |
* | Refactor the handling of errors and warnings (#44) | Bernhard Schommer | 2018-02-08 | 1 | -16/+19 |
* | Deactivate ais_annotations again. | Bernhard Schommer | 2017-12-12 | 1 | -24/+25 |
* | Correct test for noinline. Bug 22642 | Bernhard Schommer | 2017-12-11 | 1 | -1/+1 |