aboutsummaryrefslogtreecommitdiffstats
path: root/cfrontend/C2C.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/mppa-work' into mppa-expectDavid Monniaux2020-04-061-5/+22
|\
| * 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 'master' of https://github.com/AbsInt/CompCert into mppa-work-up...David Monniaux2019-12-091-0/+5
| | |\
| * | | More precise determination of small data accesses (#220)Bernhard Schommer2020-02-201-3/+15
| | |/ | |/|
| * | Fix for AArch64 alignment problem (#206)Bernhard Schommer2019-11-281-0/+5
* | | __builtin_expect defined as its first argumentDavid Monniaux2019-09-251-2/+3
| |/ |/|
* | 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
|/
* Distinguish object-related and name-related attributesXavier Leroy2019-02-251-2/+3
* Improved diagnostics: spelling, wording, etc (#138)Michael Schmidt2018-09-141-8/+8
* Attach _Alignas to names and refactor _Alignas checks (#133)Bernhard Schommer2018-09-101-2/+2
* Issue with packed structs and sizeof, alignof, offsetof in cparser/Xavier Leroy2018-08-171-1/+3
* Compatibility with OCaml 4.07 (#241) continuedXavier Leroy2018-07-101-1/+1
* String literals are l-values and have array types (#116)Bernhard Schommer2018-05-271-6/+7
* Record value of constant expression in C.Scase constructorXavier Leroy2018-04-271-1/+1
* Warn when volatile struct is assigned to a normal structBernhard Schommer2018-04-191-0/+3
* Improve and simplify error messages.Bernhard Schommer2018-03-071-5/+1
* Reactivated and improved ais annotations.Bernhard Schommer2018-03-061-24/+35
* Truncation of array sizes when converting them to Coq's Z typeXavier Leroy2018-02-081-6/+8
* Refactor the handling of errors and warnings (#44)Bernhard Schommer2018-02-081-16/+19
* Deactivate ais_annotations again.Bernhard Schommer2017-12-121-24/+25
* Correct test for noinline. Bug 22642Bernhard Schommer2017-12-111-1/+1
* Introduce and use C2C.atom_inline function with 3-valued resultXavier Leroy2017-12-081-11/+5
* Store the different inlining cases.Bernhard Schommer2017-12-081-7/+25
* Remove ais_annot_intval.Bernhard Schommer2017-10-241-13/+0
* Prefix ais annotations with location.Bernhard Schommer2017-10-241-2/+4
* New support for inserting ais-annotations.Bernhard Schommer2017-10-191-3/+40
* Moved common buitlins to C2C gernic_builtins.Bernhard Schommer2017-09-261-1/+11
* Prefixed runtime functions.Bernhard Schommer2017-08-251-16/+16
* Do not generate code for "inline definitions"Bernhard Schommer2017-04-071-8/+15
* Added gcc noinline attribute.Bernhard Schommer2017-02-191-0/+1
* Added unused attribute and simplified checks.Bernhard Schommer2017-02-171-1/+2
* More tweaking of module 'open'Xavier Leroy2017-02-091-8/+10
* Merge branch 'elaboration-of-attributes'Xavier Leroy2017-02-061-1/+15
|\
| * Preliminary support for the "noreturn" attributeXavier Leroy2017-02-061-1/+2
generated by cgit (git 2.34.1) at 2024-06-11 21:26:54 +0000