| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | Merge pull request #459 from AbsInt/full-switch | Xavier Leroy | 2022-11-09 | 1 | -0/+10 |
| |\ |
|
| | * | Handle unstructured 'switch' statements such as Duff's device | Xavier Leroy | 2022-10-29 | 1 | -0/+10 |
| * | | Add test for nested conditional, &&, || expressions | Xavier Leroy | 2022-10-01 | 1 | -0/+7 |
| |/ |
|
| * | Support C11 Unicode string literals and character constants (#452) | Xavier Leroy | 2022-09-19 | 2 | -0/+42 |
| * | Some tests for _Generic | Xavier Leroy | 2022-05-13 | 1 | -0/+7 |
| * | Native support for bit fields (#400) | Xavier Leroy | 2021-08-22 | 2 | -14/+18 |
| * | Elab bitfields: check size of type <=32bit rather than checking rank (#387) | Amos Robinson | 2021-04-19 | 1 | -0/+1 |
| * | Remove regression/interop1 test | Xavier Leroy | 2021-01-18 | 1 | -98/+0 |
| * | RISC-V: fix FP calling conventions | Xavier Leroy | 2021-01-14 | 1 | -1/+1 |
| * | RISC-V: wrong fixup code generated for vararg calls with fixed FP args | Xavier Leroy | 2021-01-10 | 1 | -0/+1 |
| * | Add test for __builtin_sqrt and __builtin_fabsf | Xavier Leroy | 2020-07-27 | 1 | -0/+3 |
| * | Refactor regression testing of built-in functions | Xavier Leroy | 2020-07-27 | 6 | -40/+390 |
| * | Add a test for int64 -> float32 conversion | Xavier Leroy | 2020-03-30 | 1 | -38/+836 |
| * | Add interoperability test for functions returning small integer types | Xavier Leroy | 2020-02-21 | 1 | -0/+8 |
| * | Test for the compilation of floating-point literals | Xavier Leroy | 2019-08-08 | 1 | -0/+2 |
| * | AArch64 port | Xavier Leroy | 2019-08-08 | 1 | -0/+15 |
| * | If-conversion optimization | Xavier Leroy | 2019-06-06 | 1 | -0/+26 |
| * | Revised attachment of name attributes to structs, unions, enums | Xavier Leroy | 2019-02-25 | 1 | -0/+1 |
| * | Add regression test for "aligned" attribute | Xavier Leroy | 2019-02-25 | 1 | -0/+11 |
| * | Attach _Alignas to names and refactor _Alignas checks (#133) | Bernhard Schommer | 2018-09-10 | 1 | -0/+1 |
| * | Issue with packed structs and sizeof, alignof, offsetof in cparser/ | Xavier Leroy | 2018-08-17 | 2 | -0/+24 |
| * | Remove the `_Alignas(expr)` construct (#125) | Xavier Leroy | 2018-06-07 | 1 | -9/+9 |
| * | Initialization of union bit fields | Xavier Leroy | 2018-04-25 | 1 | -0/+8 |
| * | Turn delicate case of designated re-initialization into error (#70) | Xavier Leroy | 2018-03-30 | 1 | -1/+0 |
| * | Add regression test for issue #211 | Xavier Leroy | 2018-01-13 | 1 | -0/+1 |
| * | Extend builtin arguments with a pointer addition operator, continued | Xavier Leroy | 2017-07-06 | 1 | -0/+2 |
| * | Extend builtin arguments with a pointer addition operator | Xavier Leroy | 2017-07-06 | 1 | -0/+5 |
| * | RISC-V port and assorted changes | Xavier Leroy | 2017-04-28 | 1 | -0/+12 |
| * | Make Archi.ptr64 always computable, and reorganize files accordingly: ia32 ->... | Xavier Leroy | 2016-10-27 | 1 | -0/+0 |
| * | Update the tests in test/regression, continued | Xavier Leroy | 2016-10-24 | 1 | -0/+1 |
| * | Update the tests and test infrastructure in test/regression | Xavier Leroy | 2016-10-24 | 6 | -0/+58 |
| * | Turn 64-bit integer division and modulus by constants into multiply-high | Xavier Leroy | 2016-10-04 | 1 | -0/+2160 |
| * | Unwanted partial constant propagation in 64-bit integer arguments to builtins | Xavier Leroy | 2016-07-08 | 3 | -0/+4 |
| * | Revised handling of old-style, K&R function definitions | Xavier Leroy | 2016-06-24 | 1 | -0/+3 |
| * | Add CLZ builtins for ARM and IA32 | Xavier Leroy | 2015-12-22 | 3 | -2/+10 |
| * | Issue #71: incorrect initialization of wchar_t arrays from wide string literal | Xavier Leroy | 2015-11-13 | 1 | -0/+3 |
| * | Merge remote-tracking branch 'origin/master' into parser_fix | Jacques-Henri Jourdan | 2015-11-04 | 2 | -0/+3 |
| |\ |
|
| | * | Merge branch 'ppc64' of ssh://github.com/AbsInt/CompCert into ppc64 | Xavier Leroy | 2015-10-11 | 1 | -0/+2 |
| | |\ |
|
| | | * | Test __builtin_isel. | Xavier Leroy | 2015-09-13 | 1 | -0/+2 |
| * | | | Better handling of old-style K&R function declarations: | Jacques-Henri Jourdan | 2015-11-01 | 1 | -0/+10 |
| |/ / |
|
| * / | Fixed a few bugs in the pre parser. In particular, the following code | Jacques-Henri Jourdan | 2015-09-30 | 1 | -0/+0 |
| |/ |
|
| * | More tests for alias analysis. | Xavier Leroy | 2015-07-20 | 1 | -0/+1 |
| * | Test to check that alias analysis is prudently conservative on ill-defined po... | Xavier Leroy | 2015-07-19 | 1 | -0/+7 |
| * | Merge branch 'master' of https://github.com/AbsInt/CompCert | Xavier Leroy | 2015-07-08 | 2 | -3/+3 |
| |\ |
|
| | * | Turn off copy optimization when returning a composite by reference. | Xavier Leroy | 2015-07-08 | 1 | -0/+0 |
| | * | Fix issue with bit fields of type _Bool | Xavier Leroy | 2015-07-08 | 1 | -3/+3 |
| * | | More portable test for fres and fsqrte. | Xavier Leroy | 2015-07-08 | 1 | -2/+2 |
| |/ |
|
| * | Signedness issue in specification of subtraction between two pointers. | Xavier Leroy | 2015-06-30 | 1 | -0/+2 |
| * | Extended inline asm: handle missing cases. | Xavier Leroy | 2015-04-28 | 1 | -0/+10 |
| * | Support va_arg for vararg arguments of composite (struct/union) types. | Xavier Leroy | 2015-03-20 | 1 | -1/+3 |
