From 5cfed41826bb2c1cb6946bc53f56d93232c98011 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 6 Jun 2010 12:59:49 +0000
Subject: Updated performance analysis file

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13079 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/doc/perf-analysis | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'dev')

diff --git a/dev/doc/perf-analysis b/dev/doc/perf-analysis
index 4c27d808b9..805f0778d1 100644
--- a/dev/doc/perf-analysis
+++ b/dev/doc/perf-analysis
@@ -1,6 +1,21 @@
 Performance analysis (trunk repository)
 ---------------------------------------
 
+Jun 4, 2010: improvement in type classes inference by removing
+  systematic preparation of debugging pretty-printing streams (std_ppcmds)
+  (-7% in ATBR, visible only on V8.3 logs since ATBR is broken in trunk)
+
+Apr 19, 2010: small improvement obtained by reducing evar instantiation 
+  from O(n^3) to O(n^2) in the size of the instance (-2% in Compcert,
+  -2% AreaMethod, -15% in Ssreflect)
+
+Apr 17, 2010: small improvement obtained by not repeating unification
+  twice in auto (-2% in Compcert, -2% in Algebra)
+
+Feb 15, 2010: Global decrease due to unicode inefficiency repaired
+
+Jan 8, 2010: Global increase due to an inefficiency in unicode treatment
+
 Dec 1, 2009 - Dec 19, 2009: Temporary addition of [forall x, P x] hints to
   exact (generally not significative but, e.g., +25% on Subst, +8% on
   ZFC, +5% on AreaMethod)
-- 
cgit v1.2.3