aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/profile.ml
Commit message (Expand)AuthorAge
* Nettoyage suite à la détection par défaut des variables inutilisées par o...Gravatar herbelin2005-11-08
* pas besoin de List.length pour savoir si une liste est videGravatar letouzey2005-08-19
* Nouvelle en-têteGravatar herbelin2004-07-16
* BugGravatar herbelin2001-08-10
* Prise en compte des strings et des flottants dans les statistiques de tailles...Gravatar herbelin2001-08-10
* Nouveau profiler compatible avec ocaml >= 3.01Gravatar herbelin2001-08-05
* MAJ vis à vis de ocaml 3.01Gravatar herbelin2001-08-01
* amelioration de la consommation memoire de la conversion en eta-expansantGravatar barras2001-03-23
* entetesGravatar filliatr2001-03-15
* passage ocaml 3.01Gravatar filliatr2001-03-13
* Bugs encoreGravatar herbelin2001-01-19
* RaffinementsGravatar herbelin2001-01-15
* Petit bug encoreGravatar herbelin2001-01-14
* Bien sûr: bugs sur précédent commit; améliorationsGravatar herbelin2001-01-14
* Prise en compte de l'allocation mémoire et affichage des résultats net du s...Gravatar herbelin2001-01-14
* modules profile, Coqinit et Coqtop (=main)Gravatar filliatr1999-12-03