aboutsummaryrefslogtreecommitdiffstats
path: root/test/Makefile
Commit message (Expand)AuthorAgeFilesLines
* ccomp profilingLéo Gourdin2022-01-051-0/+3
* Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-271-1/+1
|\
| * Add support to clightgen for generating Csyntax AST as .v filesXavier Leroy2021-09-221-1/+1
* | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-231-2/+3
|\|
| * Testing calling conventions and interoperability with another C compilerXavier Leroy2021-01-181-1/+1
* | k1c -> kvx changesDavid Monniaux2020-05-261-1/+1
* | fix broken test MakefileDavid Monniaux2020-03-271-1/+3
* | More work on test, regression/packedstruct1.c and regression/varargs2.c don't...Cyril SIX2019-09-201-1/+5
* | Desactivating CompCert tests taking too longCyril SIX2019-09-191-1/+3
|/
* Add tests for clightgenXavier Leroy2018-06-011-0/+8
* test/ : stop at first error in "make all"Xavier Leroy2017-08-261-1/+1
* test/: add a CCOMPOPTS make variable to pass additional compile-time flagsXavier Leroy2017-08-261-1/+1
* RISC-V port and assorted changesXavier Leroy2017-04-281-1/+1
* Updates to the local test suiteXavier Leroy2016-07-241-3/+0
* test/regression: test packedstruct1 only if unaligned accesses are supported.Xavier Leroy2015-08-211-1/+1
* PowerPC port: refactored the expansion of built-in functions andxleroy2014-07-281-0/+3
* Presimplification SimplVolatile: cleaned up and integrated.xleroy2011-08-181-0/+3
* Improved test harnessxleroy2011-03-101-0/+10
generated by cgit (git 2.34.1) at 2024-05-09 18:32:29 +0000