summaryrefslogtreecommitdiff
path: root/test/c
Commit message (Expand)AuthorAge
* Merge of "newspilling" branch:Gravatar xleroy2014-07-23
* Integration of Jacques-Henri Jourdan's verified parser.Gravatar xleroy2014-04-29
* Cminor parsing and printing (from Andrew Tolmach)Gravatar xleroy2013-10-16
* Merge of the float32 branch: Gravatar xleroy2013-05-19
* driver: removed option -flonglongGravatar xleroy2013-04-22
* Added FFTW benchmark provided by Guillaume MelquiondGravatar xleroy2013-04-20
* Tests "floats" and "floats-basics" moved from test/c to test/regressionGravatar xleroy2013-04-20
* Big merge of the newregalloc-int64 branch. Lots of changes in two directions:Gravatar xleroy2013-04-20
* Fixed parsing of hex float literals 0xNNNpMMM.Gravatar xleroy2013-03-11
* Errors for excessively large global variables or stack frames.Gravatar xleroy2013-02-02
* Fix "clean" rule.Gravatar xleroy2012-12-29
* Merge of branch seq-and-or. See Changelog for details.Gravatar xleroy2012-10-06
* Use Flocq for floatsGravatar xleroy2012-06-28
* PowerPC: remove the fmadd and fmsub operators/Asm instructionsGravatar xleroy2012-03-07
* Initializers: handle By_copy accesses (e.g. for &(glob.field))Gravatar xleroy2012-02-07
* Presimplification SimplVolatile: cleaned up and integrated.Gravatar xleroy2011-08-18
* Updated for Coq 8.3pl1. Some cleanups in test/*/Makefile.Gravatar xleroy2011-03-09
* Merge of the reuse-temps branch:Gravatar xleroy2010-09-02
* Merge of branches/full-expr-4:Gravatar xleroy2010-08-18
* Determine endianness at run-timeGravatar xleroy2010-03-30
* ProtoizedGravatar xleroy2010-03-02
* Typo in MakefileGravatar xleroy2010-02-17
* Reorganization test directoryGravatar xleroy2010-02-17
* 3 more benchmarksGravatar xleroy2010-02-17
* Backtracking on commit 1220Gravatar xleroy2010-01-13
* Test result more reproducibleGravatar xleroy2009-12-16
* Support Clight initializers of the form "int * x = &y;".Gravatar xleroy2009-11-01
* Problem with const enum initializersGravatar xleroy2009-09-15
* Stronger constant folding, esp. w.r.t. floatsGravatar xleroy2009-08-21
* Endianness in testsGravatar xleroy2009-01-05
* Continuation of PowerPC/EABI portGravatar xleroy2008-12-31
* Flag to turn on/off the recognition of fused multiply-add and multiply-subGravatar xleroy2008-07-31
* Update test resultsGravatar xleroy2008-07-31
* Augmenter le temps d'execution par defautGravatar xleroy2008-07-25
* Compilo C, preprocesseur, assembleur sont determines par configure et mis dan...Gravatar xleroy2008-04-19
* Ajout du test vmachGravatar xleroy2008-04-15
* Problemes d'alignement des variables globales et a l'interieur de leurs initi...Gravatar xleroy2007-10-31
* Fusion de la branche restr-cminor. En Clight, C#minor et Cminor, les express...Gravatar xleroy2007-08-28
* Rendu le test lists.c plus interessantGravatar xleroy2007-08-06
* Fusion des modifications faites sur les branches "tailcalls" et "smallstep".Gravatar xleroy2007-08-04
* Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...Gravatar xleroy2007-03-02
* Ajout test mark&sweep GCGravatar xleroy2006-10-27
* Ajout et utilisation de compcert_stdio.hGravatar xleroy2006-10-22
* NettoyagesGravatar xleroy2006-09-17
* Davantage de testsGravatar xleroy2006-09-17
* Ajout du test listsGravatar xleroy2006-09-11
* MAJ des tests CGravatar xleroy2006-09-08
* Integration du front-end CIL developpe par Thomas MoniotGravatar xleroy2006-09-07
* Version C des tests CminorGravatar xleroy2006-06-29