aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
Commit message (Expand)AuthorAgeFilesLines
* Various clean-upsv1.4xleroy2009-04-171-10/+27
* Added tail call optimization passxleroy2009-03-261-0/+1
* make install: ./ccomp au lieu de ../ccompblazy2009-02-271-1/+2
* Updatesxleroy2009-01-051-2/+9
* Wrong dependenciesxleroy2009-01-021-4/+6
* Continuation of ARM port.xleroy2009-01-011-7/+16
* Reorganized the development, modularizing away machine-dependent parts.xleroy2008-12-301-19/+40
* Revu removeproofxleroy2008-03-191-1/+8
* Ajout license, README, copyright noticesxleroy2008-01-271-0/+12
* Ajout de common/Complements.vxleroy2007-08-261-1/+1
* Ajout et utilisation de caml/Driver.ml. Ajout ./configure. Revu Makefilesxleroy2007-08-061-8/+15
* Fusion des modifications faites sur les branches "tailcalls" et "smallstep".xleroy2007-08-041-16/+24
* Suppression de lib/Sets.v, utilisation de FSet a la place. Generalisation de...xleroy2007-03-021-1/+1
* Petites adaptations pour Coq 8.1gammaxleroy2006-11-111-1/+1
* Integration du front-end CIL developpe par Thomas Moniotxleroy2006-09-071-0/+8
* Revu la repartition des sources Coq en sous-repertoiresxleroy2006-09-041-7/+10
* Fusion de la branche "traces":xleroy2006-09-041-7/+11
* Initial import of compcertxleroy2006-02-091-0/+75
generated by cgit (git 2.34.1) at 2024-06-02 22:04:47 +0000