aboutsummaryrefslogtreecommitdiffstats
path: root/test/regression/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Merge remote-tracking branch 'origin/csmith' into towards_3.10David Monniaux2021-09-241-1/+1
|\
| * Merge branch 'csmith' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert ...David Monniaux2021-09-231-1/+1
| |\
| * | add union passingDavid Monniaux2021-09-231-1/+1
* | | Merge branch 'master' of https://github.com/AbsInt/CompCert into towards_3.10David Monniaux2021-09-241-1/+1
|\ \ \ | |_|/ |/| |
| * | Native support for bit fields (#400)Xavier Leroy2021-08-221-1/+1
| * | Elab bitfields: check size of type <=32bit rather than checking rank (#387)Amos Robinson2021-04-191-1/+1
* | | test for many parametersDavid Monniaux2021-09-171-1/+1
| |/ |/|
* | [BROKEN] Merge with v3.9 : something broken for __builtin_expect in cfrontend...Cyril SIX2021-06-011-1/+1
* | Merge branch 'master' into merge_master_8.13.1Sylvain Boulmé2021-03-231-8/+1
|\|
| * Remove regression/interop1 testXavier Leroy2021-01-181-8/+1
* | Merge branch 'kvx-work' into kvx-work-merge3.8Cyril SIX2020-12-041-0/+2
|\ \
| * | trace quand le simulateur est appeleSylvain Boulmé2020-07-241-1/+1
| * | Temporary prepass flags in test/regressionCyril SIX2020-07-241-0/+2
* | | Merge branch 'master' (Absint 3.8) into kvx-work-merge3.8David Monniaux2020-11-181-3/+2
|\ \ \ | |/ / |/| / | |/
| * Refactor regression testing of built-in functionsXavier Leroy2020-07-271-1/+1
* | k1c -> kvx changesDavid Monniaux2020-05-261-2/+2
* | Fixing packedstruct issuev3.7_mppa_2020-04-01Cyril SIX2020-04-011-3/+3
* | disable some testsDavid Monniaux2020-03-271-4/+4
* | [regression to check!] Merge tag 'v3.6' into mppa-workCyril SIX2019-10-161-1/+2
|\|
| * Test for the compilation of floating-point literalsXavier Leroy2019-08-081-1/+1
| * If-conversion optimizationXavier Leroy2019-06-061-1/+1
* | Removing NaNs from TESTS_DIFF (float precision issues..)Cyril SIX2019-09-251-0/+3
* | varargs2 now work correctly (bis)Cyril SIX2019-09-251-2/+0
* | Removing packed structs tests (do not work for now)Cyril SIX2019-09-251-0/+2
* | More work on test, regression/packedstruct1.c and regression/varargs2.c don't...Cyril SIX2019-09-201-3/+7
* | __builtin_bswap16, 32 and 64Cyril SIX2019-09-201-2/+2
* | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-031-1/+1
|\ \
| * | If-conversion optimizationXavier Leroy2019-05-311-1/+1
| |/
* / Disabling the packedstruct tests from test/regressionCyril SIX2019-04-091-1/+2
|/
* Add regression test for "aligned" attributeXavier Leroy2019-02-251-1/+1
* Test for NULL in variable argument listsXavier Leroy2019-02-041-1/+1
* Improve execution of regression testsXavier Leroy2018-08-241-13/+4
* Harden the extasm.c test, continuedXavier Leroy2018-08-201-1/+1
* Harden the extasm.c testXavier Leroy2018-08-201-1/+3
* Add regression test for issue #211Xavier Leroy2018-01-131-1/+2
* Typo in Makefile: "ia32" is now "x86"Xavier Leroy2017-09-191-1/+1
* test/*/Makefile: suppress dependencies on ../../ccompXavier Leroy2017-09-111-4/+4
* For running tests with the interpreter, use the correct -stdlib optionXavier Leroy2017-08-281-3/+2
* test/: add a CCOMPOPTS make variable to pass additional compile-time flagsXavier Leroy2017-08-261-1/+1
* Extend builtin arguments with a pointer addition operatorXavier Leroy2017-07-061-1/+1
* RISC-V port and assorted changesXavier Leroy2017-04-281-3/+3
* Update the tests in test/regression, continuedXavier Leroy2016-10-241-13/+4
* Updates to the local test suiteXavier Leroy2016-07-241-10/+0
* Revised handling of old-style, K&R function definitionsXavier Leroy2016-06-241-1/+1
* Fixed a few bugs in the pre parser. In particular, the following codeJacques-Henri Jourdan2015-09-301-1/+2
* test/regression: test packedstruct1 only if unaligned accesses are supported.Xavier Leroy2015-08-211-2/+11
* Test to check that alias analysis is prudently conservative on ill-defined po...Xavier Leroy2015-07-191-1/+1
* Turn off copy optimization when returning a composite by reference.Xavier Leroy2015-07-081-1/+1
* Signedness issue in specification of subtraction between two pointers.Xavier Leroy2015-06-301-1/+1
* Bitfield improvements continued: perform bitfield expansion before unblocking...Xavier Leroy2015-04-281-1/+1
generated by cgit (git 2.34.1) at 2024-05-20 07:35:08 +0000