Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | More work on test, regression/packedstruct1.c and regression/varargs2.c don't... | Cyril SIX | 2019-09-20 | 1 | -1/+5 |
* | Desactivating CompCert tests taking too long | Cyril SIX | 2019-09-19 | 1 | -1/+3 |
* | Add tests for clightgen | Xavier Leroy | 2018-06-01 | 1 | -0/+8 |
* | test/ : stop at first error in "make all" | Xavier Leroy | 2017-08-26 | 1 | -1/+1 |
* | test/: add a CCOMPOPTS make variable to pass additional compile-time flags | Xavier Leroy | 2017-08-26 | 1 | -1/+1 |
* | RISC-V port and assorted changes | Xavier Leroy | 2017-04-28 | 1 | -1/+1 |
* | Updates to the local test suite | Xavier Leroy | 2016-07-24 | 1 | -3/+0 |
* | test/regression: test packedstruct1 only if unaligned accesses are supported. | Xavier Leroy | 2015-08-21 | 1 | -1/+1 |
* | PowerPC port: refactored the expansion of built-in functions and | xleroy | 2014-07-28 | 1 | -0/+3 |
* | Presimplification SimplVolatile: cleaned up and integrated. | xleroy | 2011-08-18 | 1 | -0/+3 |
* | Improved test harness | xleroy | 2011-03-10 | 1 | -0/+10 |