aboutsummaryrefslogtreecommitdiffstats
path: root/cfrontend/C2C.ml
Commit message (Expand)AuthorAgeFilesLines
...
* 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
| * Refactor the classification of attributesXavier Leroy2017-02-031-0/+13
| * Revised elaboration of attributesXavier Leroy2017-01-311-1/+1
* | Cleanup opensBernhard Schommer2017-02-061-69/+62
|/
* Simplified C2C.error.Bernhard Schommer2017-01-181-16/+14
* C2C: revise typing and translation of __builtin_memcpy_alignedXavier Leroy2016-11-171-12/+16
* C2C: wrong translation of 'switch' over arguments of type 'long' if 'long' is...Xavier Leroy2016-11-171-4/+5
* fix va_arg for pointer types on 64bit targetMichael Schmidt2016-11-081-1/+7
* extend constant check for builtin_memcpy_aligned (bug 20320)Michael Schmidt2016-11-071-2/+2
* extend constant check for builtin_memcpy_aligned (bug 20320)Michael Schmidt2016-11-071-0/+2
* Merge pull request #145 from AbsInt/64Xavier Leroy2016-10-271-32/+38
|\
| * Turn 64-bit integer division and modulus by constants into multiply-highXavier Leroy2016-10-041-0/+8
| * Support for 64-bit architectures: generic supportXavier Leroy2016-10-011-32/+30
* | implement checks for parameters of '__builtin_memcpy_aligned' (bug 20222)Michael Schmidt2016-10-191-4/+4
* | implement checks for parameters of '__builtin_memcpy_aligned' (bug 20222)Michael Schmidt2016-10-191-3/+6
|/
* Improved error messages for wrong vararg calls.Bernhard Schommer2016-09-231-2/+7
* Catch case of zero in builtin debug.Bernhard Schommer2016-09-221-2/+2
* Readded warning about ignored volatile. Bug 18004Bernhard Schommer2016-08-311-1/+1
* Added missing literal. Bug 18004Bernhard Schommer2016-08-311-1/+1
* Fixed typos.Bernhard Schommer2016-08-311-8/+8
* bug 18004, fix some typos/grammarMichael Schmidt2016-08-301-1/+1
* Merge branch 'master' into advanced-diagnosticsBernhard Schommer2016-08-291-1/+1
|\
| * Simplify test. Bug 19629Bernhard Schommer2016-08-251-4/+1
| * Test for illegal first argument in __builtin_debug.Bernhard Schommer2016-08-251-2/+6
generated by cgit (git 2.34.1) at 2024-05-20 00:14:30 +0000