aboutsummaryrefslogtreecommitdiffstats
path: root/cfrontend/C2C.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'absint/master' into merge_absintDavid Monniaux2022-03-011-13/+16
|\
| * Check for arguments of struct/union type passed to a vararg functionXavier Leroy2022-02-111-13/+16
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-241-24/+118
|\|
| * Merge branch 'bitfields' (#400)Xavier Leroy2021-08-221-5/+34
| |\
| | * Native support for bit fields (#400)Xavier Leroy2021-08-221-5/+34
| * | Revise the declaration of __compcert_* helper functionsXavier Leroy2021-06-301-82/+79
| |/
| * Use the LGPL instead of the GPL for dual-licensed filesXavier Leroy2021-05-081-4/+5
| * Support __builtin_expectXavier Leroy2021-05-021-0/+5
| * Support __builtin_unreachableXavier Leroy2021-05-021-0/+3
* | Commenting out __builtin_expect from AbsIntCyril SIX2021-06-011-2/+2
* | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-011-4/+13
* | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-231-6/+18
|\|
| * Section handling: finer control of variable initializationXavier Leroy2021-02-231-1/+6
| * Changed cc_varargs to an option typeBernhard Schommer2020-12-251-5/+12
* | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-181-1/+17
|\|
| * Add -main option to specify entrypoint function in interpreter mode (#374)Xavier Leroy2020-10-301-1/+1
| * Add __builtin_sqrt as synonymous for __builtin_fsqrtXavier Leroy2020-07-271-0/+2
| * Move declarations of __builtin_clz* and __builtin_ctz* to C2C.mlXavier Leroy2020-07-271-0/+12
| * Add support for __builtin_fabsfXavier Leroy2020-07-271-0/+2
* | Merge remote-tracking branch 'origin/mppa-expect3' into mppa-workDavid Monniaux2020-04-091-2/+11
|\ \
| * | expect operationDavid Monniaux2020-04-071-0/+8
| * | Merge remote-tracking branch 'origin/mppa-work' into mppa-expectDavid Monniaux2020-04-061-5/+22
| |\ \
| * | | __builtin_expect defined as its first argumentDavid Monniaux2019-09-251-2/+3
* | | | Merge remote-tracking branch 'origin/mppa-work' into mppa-threadDavid Monniaux2020-04-081-2/+2
|\ \ \ \ | | |/ / | |/| |
| * | | Merge remote-tracking branch 'origin/master' into attempt-fix-mppa-workCyril SIX2020-04-011-2/+2
| |\ \ \ | | | |/ | | |/|
| | * | Explicit error messages for ill-formed section attributes (#232)Bernhard Schommer2020-03-291-2/+2
| * | | Merge branch 'mppa-cse2' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCe...David Monniaux2020-03-031-4/+36
| |\ \ \ | | |/ / | |/| |
* | | | Merge branch 'mppa-work' into mppa-threadCyril SIX2020-02-251-3/+15
|\ \ \ \
| * | | | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2020-02-241-3/+15
| |\| | | | | |/ / | |/| |
| | * | More precise determination of small data accesses (#220)Bernhard Schommer2020-02-201-3/+15
* | | | thread local declarations now workDavid Monniaux2020-02-241-1/+5
* | | | it now works, no more ugly hack to access thread local dataDavid Monniaux2020-02-241-0/+9
* | | | seems to process _Thread_local but not till backendDavid Monniaux2020-02-241-7/+14
|/ / /
* | / Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-12-091-0/+5
|\| | | |/ |/|
| * Fix for AArch64 alignment problem (#206)Bernhard Schommer2019-11-281-0/+5
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-08-281-1/+3
|\|
| * bswap builtins: give semantics to them, support bswap64 on all targetsBernhard Schommer2019-08-121-1/+3
* | Merge branch 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-07-191-25/+45
|\|
| * Make __builtin_sel available from C source codeXavier Leroy2019-07-171-0/+9
| * Remove the cparser/Builtins moduleXavier Leroy2019-07-171-7/+10
| * Change the expected types for arguments to __builtin_annot, and extended asmXavier Leroy2019-06-191-5/+25
* | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-031-5/+5
|\|
| * Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-311-1/+1
| * Upgrade embedded version of Flocq to 3.1.Guillaume Melquiond2019-03-271-4/+4
* | ternary ops for float/doubleDavid Monniaux2019-04-031-0/+4
* | problem in ValueAOpDavid Monniaux2019-04-031-0/+1
* | attempts at generating builtins, startDavid Monniaux2019-04-031-1/+8
* | la division flottante fonctionneDavid Monniaux2019-03-201-2/+16
* | ça semble passerDavid Monniaux2019-03-201-2/+4
* | added helper functions but strangeDavid Monniaux2019-03-191-1/+17
|/
generated by cgit (git 2.34.1) at 2024-05-08 18:15:22 +0000