| Commit message (Expand) | Author | Age | Files | Lines |
* | [regression to check!] Merge tag 'v3.6' into mppa-work | Cyril SIX | 2019-10-16 | 1 | -1/+2 |
|\ |
|
| * | Test for the compilation of floating-point literals | Xavier Leroy | 2019-08-08 | 1 | -1/+1 |
| * | If-conversion optimization | Xavier Leroy | 2019-06-06 | 1 | -1/+1 |
* | | Removing NaNs from TESTS_DIFF (float precision issues..) | Cyril SIX | 2019-09-25 | 1 | -0/+3 |
* | | varargs2 now work correctly (bis) | Cyril SIX | 2019-09-25 | 1 | -2/+0 |
* | | Removing packed structs tests (do not work for now) | Cyril SIX | 2019-09-25 | 1 | -0/+2 |
* | | More work on test, regression/packedstruct1.c and regression/varargs2.c don't... | Cyril SIX | 2019-09-20 | 1 | -3/+7 |
* | | __builtin_bswap16, 32 and 64 | Cyril SIX | 2019-09-20 | 1 | -2/+2 |
* | | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-... | David Monniaux | 2019-06-03 | 1 | -1/+1 |
|\ \ |
|
| * | | If-conversion optimization | Xavier Leroy | 2019-05-31 | 1 | -1/+1 |
| |/ |
|
* / | Disabling the packedstruct tests from test/regression | Cyril SIX | 2019-04-09 | 1 | -1/+2 |
|/ |
|
* | Add regression test for "aligned" attribute | Xavier Leroy | 2019-02-25 | 1 | -1/+1 |
* | Test for NULL in variable argument lists | Xavier Leroy | 2019-02-04 | 1 | -1/+1 |
* | Improve execution of regression tests | Xavier Leroy | 2018-08-24 | 1 | -13/+4 |
* | Harden the extasm.c test, continued | Xavier Leroy | 2018-08-20 | 1 | -1/+1 |
* | Harden the extasm.c test | Xavier Leroy | 2018-08-20 | 1 | -1/+3 |
* | Add regression test for issue #211 | Xavier Leroy | 2018-01-13 | 1 | -1/+2 |
* | Typo in Makefile: "ia32" is now "x86" | Xavier Leroy | 2017-09-19 | 1 | -1/+1 |
* | test/*/Makefile: suppress dependencies on ../../ccomp | Xavier Leroy | 2017-09-11 | 1 | -4/+4 |
* | For running tests with the interpreter, use the correct -stdlib option | Xavier Leroy | 2017-08-28 | 1 | -3/+2 |
* | test/: add a CCOMPOPTS make variable to pass additional compile-time flags | Xavier Leroy | 2017-08-26 | 1 | -1/+1 |
* | Extend builtin arguments with a pointer addition operator | Xavier Leroy | 2017-07-06 | 1 | -1/+1 |
* | RISC-V port and assorted changes | Xavier Leroy | 2017-04-28 | 1 | -3/+3 |
* | Update the tests in test/regression, continued | Xavier Leroy | 2016-10-24 | 1 | -13/+4 |
* | Updates to the local test suite | Xavier Leroy | 2016-07-24 | 1 | -10/+0 |
* | Revised handling of old-style, K&R function definitions | Xavier Leroy | 2016-06-24 | 1 | -1/+1 |
* | Fixed a few bugs in the pre parser. In particular, the following code | Jacques-Henri Jourdan | 2015-09-30 | 1 | -1/+2 |
* | test/regression: test packedstruct1 only if unaligned accesses are supported. | Xavier Leroy | 2015-08-21 | 1 | -2/+11 |
* | Test to check that alias analysis is prudently conservative on ill-defined po... | Xavier Leroy | 2015-07-19 | 1 | -1/+1 |
* | Turn off copy optimization when returning a composite by reference. | Xavier Leroy | 2015-07-08 | 1 | -1/+1 |
* | Signedness issue in specification of subtraction between two pointers. | Xavier Leroy | 2015-06-30 | 1 | -1/+1 |
* | Bitfield improvements continued: perform bitfield expansion before unblocking... | Xavier Leroy | 2015-04-28 | 1 | -1/+1 |
* | Cleanups and updates for extended asm. | Xavier Leroy | 2015-04-21 | 1 | -1/+1 |
* | ABI compatibility for struct/union function arguments passed by value. | Xavier Leroy | 2015-01-27 | 1 | -1/+8 |
* | Wrong handling of block-local function declarations (in Elab.ml). | Xavier Leroy | 2014-11-26 | 1 | -1/+2 |
* | Support C99 compound literals (by expansion in Unblock pass). | xleroy | 2014-08-21 | 1 | -1/+1 |
* | checklink/Check.ml: missing SDA addressing for store instructions. | xleroy | 2014-08-19 | 1 | -1/+1 |
* | Add some tests for "switch" over 32 and 64-bit integers. | xleroy | 2014-08-17 | 1 | -1/+1 |
* | PowerPC port: refactored the expansion of built-in functions and | xleroy | 2014-07-28 | 1 | -1/+12 |
* | Empty declarations | jjourdan | 2014-05-23 | 1 | -1/+1 |
* | Merge of branch linear-typing: | xleroy | 2014-04-06 | 1 | -1/+2 |
* | C: Support array initializers that are too short + default init for remainder. | xleroy | 2014-03-28 | 1 | -3/+4 |
* | Add option -Os to optimize for code size rather than for execution speed. | xleroy | 2014-02-19 | 1 | -1/+1 |
* | Experimental support for <stdarg.h>, the GCC way. Works on IA32. To be test... | xleroy | 2014-01-01 | 1 | -2/+3 |
* | Revised treatment of _Alignas, for better compatibility with GCC and Clang, a... | xleroy | 2013-11-06 | 1 | -1/+1 |
* | Add test for NaNs | xleroy | 2013-08-02 | 1 | -4/+20 |
* | Missing case: initialization of a global variable of type _Bool. | xleroy | 2013-05-08 | 1 | -1/+1 |
* | Revised semantics and compilation of 2-argument C operators to better match | xleroy | 2013-05-06 | 1 | -1/+1 |
* | Add __builtin_bswap16 and __builtin_bswap32 to all ports. | xleroy | 2013-04-20 | 1 | -1/+1 |
* | Tests "floats" and "floats-basics" moved from test/c to test/regression | xleroy | 2013-04-20 | 1 | -11/+16 |