aboutsummaryrefslogtreecommitdiffstats
path: root/test/c/Results
Commit message (Expand)AuthorAgeFilesLines
* tests for kvxDavid Monniaux2020-05-2619-0/+0
* fix MandelbrotDavid Monniaux2020-04-201-0/+0
* Scaling down forgotten tests -> test/c/ operationalCyril SIX2019-10-221-0/+0
* Restored previous input sizes for other backendsCyril SIX2019-09-2534-50/+167
* Reducing further the input size of the testsCyril SIX2019-09-1313-49/+46
* Scaling down most of c/ CompCert testsCyril SIX2019-09-138-15/+11
* Starting to modify official CompCert tests to be passable with the simuCyril SIX2019-09-107-69/+40
* Reduce the running times of the tests in test/cXavier Leroy2017-08-268-54/+48
* Updates to the local test suiteXavier Leroy2016-07-242-32/+32
* Merge of the float32 branch: xleroy2013-05-191-0/+1
* driver: removed option -flonglongxleroy2013-04-221-0/+4
* Added FFTW benchmark provided by Guillaume Melquiondxleroy2013-04-201-0/+16
* Tests "floats" and "floats-basics" moved from test/c to test/regressionxleroy2013-04-202-2/+0
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:xleroy2013-04-201-0/+1
* Fixed parsing of hex float literals 0xNNNpMMM.xleroy2013-03-111-0/+1
* Use Flocq for floatsxleroy2012-06-281-0/+1
* Reorganization test directoryxleroy2010-02-171-0/+0
* 3 more benchmarksxleroy2010-02-173-0/+40
* Backtracking on commit 1220v1.6xleroy2010-01-131-0/+0
* Test result more reproduciblexleroy2009-12-161-1/+1
* Problem with const enum initializersxleroy2009-09-151-0/+0
* Stronger constant folding, esp. w.r.t. floatsxleroy2009-08-211-0/+0
* Update test resultsxleroy2008-07-311-1/+1
* Ajout du test vmachxleroy2008-04-151-0/+2
* Problemes d'alignement des variables globales et a l'interieur de leurs initi...xleroy2007-10-311-0/+0
* Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...xleroy2007-08-281-0/+1
* Davantage de testsxleroy2006-09-1717-0/+1768
generated by cgit (git 2.34.1) at 2024-05-20 09:45:20 +0000