aboutsummaryrefslogtreecommitdiffstats
path: root/test/c
Commit message (Expand)AuthorAgeFilesLines
* trace quand le simulateur est appeleSylvain Boulmé2020-07-241-0/+2
* tests for kvxDavid Monniaux2020-05-2619-0/+0
* k1c -> kvx changesDavid Monniaux2020-05-2623-29/+29
* fix MandelbrotDavid Monniaux2020-04-201-0/+0
* fix issues in Mandelbrot due to modifications in the source codeDavid Monniaux2020-03-271-2/+0
* Scaling down forgotten tests -> test/c/ operationalCyril SIX2019-10-227-3/+27
* [regression to check!] Merge tag 'v3.6' into mppa-workCyril SIX2019-10-162-13/+6
|\
| * Revise the "bench" entries of the test suiteXavier Leroy2019-09-171-4/+3
| * Factor out endianness determination between testsXavier Leroy2019-08-071-9/+1
* | Restored previous input sizes for other backendsCyril SIX2019-09-2553-60/+330
* | Preferring the (ifeq) approach for removing testsCyril SIX2019-09-251-0/+4
* | Adding back "exit 2" to the test target of test/c/MakefileCyril SIX2019-09-131-2/+2
* | Reducing further the input size of the testsCyril SIX2019-09-1330-71/+68
* | Scaling down most of c/ CompCert testsCyril SIX2019-09-1318-37/+56
* | Starting to modify official CompCert tests to be passable with the simuCyril SIX2019-09-1018-89/+81
* | Towards supporting the CompCert tests (not finished)Cyril SIX2019-06-142-10/+14
* | Merge branch 'if-conversion' of https://github.com/AbsInt/CompCert into mppa-...David Monniaux2019-06-031-3/+3
|\|
| * Fix misspellings in messages, man pages, and commentsXavier Leroy2019-05-311-3/+3
* | All CompCert tests can be compiledCyril SIX2019-04-091-2/+2
* | Modified test/c/Makefile for CompCert tests (remove all the float tests with ...Cyril SIX2019-03-082-5/+6
|/
* test/*/Makefile: suppress dependencies on ../../ccompXavier Leroy2017-09-111-2/+2
* Reduce the running times of the tests in test/cXavier Leroy2017-08-2630-87/+75
* RISC-V port and assorted changesXavier Leroy2017-04-282-2/+3
* Remove tests involving Cminor concrete syntax. Update ChangelogXavier Leroy2017-02-151-11/+0
* Implement support for big endian arm targets.Bernhard Schommer2016-08-052-8/+8
* Updates to the local test suiteXavier Leroy2016-07-2418-113/+125
* Fix uninitialized array in do_bench (report by V. Laporte).Xavier Leroy2015-09-141-1/+1
* test/regression: test packedstruct1 only if unaligned accesses are supported.Xavier Leroy2015-08-211-1/+1
* Don't use strdup(), it is not ISO C99.Xavier Leroy2015-08-211-1/+2
* PowerPC port: refactored the expansion of built-in functions andxleroy2014-07-281-1/+11
* Merge of "newspilling" branch:xleroy2014-07-231-6/+6
* Integration of Jacques-Henri Jourdan's verified parser.xleroy2014-04-292-6/+3
* Cminor parsing and printing (from Andrew Tolmach)xleroy2013-10-161-1/+12
* Merge of the float32 branch: xleroy2013-05-193-2/+199
* driver: removed option -flonglongxleroy2013-04-223-1/+228
* Added FFTW benchmark provided by Guillaume Melquiondxleroy2013-04-203-2/+107
* Tests "floats" and "floats-basics" moved from test/c to test/regressionxleroy2013-04-205-8030/+1
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:xleroy2013-04-203-1/+257
* Fixed parsing of hex float literals 0xNNNpMMM.xleroy2013-03-114-3/+80
* Errors for excessively large global variables or stack frames.xleroy2013-02-021-2/+2
* Fix "clean" rule.xleroy2012-12-291-1/+1
* Merge of branch seq-and-or. See Changelog for details.xleroy2012-10-061-1/+1
* Use Flocq for floatsxleroy2012-06-283-1/+7954
* PowerPC: remove the fmadd and fmsub operators/Asm instructionsxleroy2012-03-071-1/+1
* Initializers: handle By_copy accesses (e.g. for &(glob.field))xleroy2012-02-071-0/+2
* Presimplification SimplVolatile: cleaned up and integrated.xleroy2011-08-181-2/+2
* Updated for Coq 8.3pl1. Some cleanups in test/*/Makefile.xleroy2011-03-091-2/+2
* Merge of the reuse-temps branch:xleroy2010-09-021-2/+2
* Merge of branches/full-expr-4:xleroy2010-08-181-2/+2
* Determine endianness at run-timexleroy2010-03-301-21/+23
generated by cgit (git 2.34.1) at 2024-05-09 04:46:20 +0000