summaryrefslogtreecommitdiff
path: root/test/c/Makefile
Commit message (Expand)AuthorAge
* PowerPC port: refactored the expansion of built-in functions andGravatar xleroy2014-07-28
* 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
* Use Flocq for floatsGravatar xleroy2012-06-28
* PowerPC: remove the fmadd and fmsub operators/Asm instructionsGravatar xleroy2012-03-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
* Typo in MakefileGravatar xleroy2010-02-17
* Reorganization test directoryGravatar xleroy2010-02-17
* 3 more benchmarksGravatar xleroy2010-02-17
* Flag to turn on/off the recognition of fused multiply-add and multiply-subGravatar xleroy2008-07-31
* 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 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 et utilisation de compcert_stdio.hGravatar xleroy2006-10-22
* Davantage de testsGravatar xleroy2006-09-17
* Ajout du test listsGravatar xleroy2006-09-11
* MAJ des tests CGravatar xleroy2006-09-08
* Version C des tests CminorGravatar xleroy2006-06-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-16 07:08:14 +0000