aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/profile.ml
Commit message (Expand)AuthorAge
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* This commit adds full universe polymorphism and fast projections to Coq.Gravatar Matthieu Sozeau2014-05-06
* Get rid of the uses of deprecated OCaml elements (still remaining compatible ...Gravatar xclerc2013-09-19
* Restrict (try...with...) to avoid catching critical exn (part 8)Gravatar letouzey2013-03-13
* Cleaning interface of Util.Gravatar ppedrot2012-09-18
* The new ocaml compiler (4.00) has a lot of very cool warnings,Gravatar regisgia2012-09-14
* Updating headers.Gravatar herbelin2012-08-08
* Remove useless "open Gc"Gravatar glondu2011-05-19
* Some dead code removal, thanks to Oug analyzerGravatar letouzey2010-09-24
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove dependency to Unix from module ProfileGravatar glondu2010-07-02
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Make usages of the Obj module explicitGravatar glondu2009-11-13
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-04 14:51:47 +0000