summaryrefslogtreecommitdiff
path: root/test/c/Makefile
Commit message (Expand)AuthorAge
* 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-10-01 13:09:24 +0000