aboutsummaryrefslogtreecommitdiffstats
path: root/test/c/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...xleroy2007-03-021-0/+5
* Ajout et utilisation de compcert_stdio.hxleroy2006-10-221-6/+4
* Davantage de testsxleroy2006-09-171-7/+44
* Ajout du test listsxleroy2006-09-111-2/+2
* MAJ des tests Cxleroy2006-09-081-37/+11
* Version C des tests Cminorxleroy2006-06-291-0/+46