summaryrefslogtreecommitdiff
path: root/Makefile
Commit message (Expand)AuthorAge
* Revu removeproofGravatar xleroy2008-03-19
* Ajout license, README, copyright noticesGravatar xleroy2008-01-27
* Ajout de common/Complements.vGravatar xleroy2007-08-26
* Ajout et utilisation de caml/Driver.ml. Ajout ./configure. Revu MakefilesGravatar 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
* Petites adaptations pour Coq 8.1gammaGravatar xleroy2006-11-11
* Integration du front-end CIL developpe par Thomas MoniotGravatar xleroy2006-09-07
* Revu la repartition des sources Coq en sous-repertoiresGravatar xleroy2006-09-04
* Fusion de la branche "traces":Gravatar xleroy2006-09-04
* Initial import of compcertGravatar xleroy2006-02-09