aboutsummaryrefslogtreecommitdiffstats
path: root/test/c
Commit message (Expand)AuthorAgeFilesLines
* 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
* Protoizedxleroy2010-03-021-2/+2
* Typo in Makefilexleroy2010-02-171-2/+2
* Reorganization test directoryxleroy2010-02-173-72/+2
* 3 more benchmarksxleroy2010-02-177-1/+863
* Backtracking on commit 1220v1.6xleroy2010-01-131-0/+0
* Test result more reproduciblexleroy2009-12-162-2/+2
* Support Clight initializers of the form "int * x = &y;".xleroy2009-11-011-0/+9
* Problem with const enum initializersxleroy2009-09-152-0/+4
* Stronger constant folding, esp. w.r.t. floatsxleroy2009-08-212-0/+7
* Endianness in testsxleroy2009-01-052-2/+2
* Continuation of PowerPC/EABI portxleroy2008-12-312-2/+2
* Flag to turn on/off the recognition of fused multiply-add and multiply-subxleroy2008-07-311-1/+1
* Update test resultsxleroy2008-07-311-1/+1
* Augmenter le temps d'execution par defautxleroy2008-07-252-2/+2
* Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...xleroy2008-04-191-2/+3
* Ajout du test vmachxleroy2008-04-153-1/+219
* Problemes d'alignement des variables globales et a l'interieur de leurs initi...xleroy2007-10-313-3/+53
* Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...xleroy2007-08-281-0/+1
* Rendu le test lists.c plus interessantxleroy2007-08-061-4/+30
* Fusion des modifications faites sur les branches "tailcalls" et "smallstep".xleroy2007-08-043-13/+4
* Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...xleroy2007-03-021-0/+5
* Ajout test mark&sweep GCxleroy2006-10-271-0/+1
* Ajout et utilisation de compcert_stdio.hxleroy2006-10-223-6/+12
* Nettoyagesxleroy2006-09-174-18/+16
* Davantage de testsxleroy2006-09-1733-33/+3010
* Ajout du test listsxleroy2006-09-112-2/+57
* MAJ des tests Cxleroy2006-09-088-61/+1082
* Integration du front-end CIL developpe par Thomas Moniotxleroy2006-09-071-78/+62
* Version C des tests Cminorxleroy2006-06-298-0/+1339
generated by cgit (git 2.34.1) at 2024-06-28 22:00:26 +0000