From 941bac504672283a351d9a90f40f66fee7268e7d Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 28 May 2008 09:09:12 +0000
Subject: - Correction bug highlighting "Module" dans Coqide - Divers code mort
 (evarutil.ml, Bvector.v) - MAJ perf-analysis

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

(limited to 'dev/doc')

diff --git a/dev/doc/perf-analysis b/dev/doc/perf-analysis
index 411cb61cc7..8e48154470 100644
--- a/dev/doc/perf-analysis
+++ b/dev/doc/perf-analysis
@@ -1,17 +1,23 @@
 Performance analysis (trunk repository)
 ---------------------------------------
 
+May 21, 2008: New version of CoRN
+  (needs +84% more time to compile)
+
+Apr 25-29, 2008: Temporary attempt with delta in eauto (Matthieu)
+  (+28% CoRN) 
+
 Apr 17, 2008: improvement probably due to commit 10807 or 10813 (bug
   fixes, control of zeta in rewrite, auto (??))
   (-18% Buchberger, -40% PAutomata, -28% IntMap, -43% CoRN, -13% LinAlg,
   but CatsInZFC -0.5% only, PiCalc stable, PersistentUnionFind -1%)
 
 Mar 11, 2008:
-  (+19 % PersistentUnionFind wrt Mar 3, +21% Angles, 
+  (+19% PersistentUnionFind wrt Mar 3, +21% Angles, 
    +270% Continuations between 7/3 and 18/4)
 
 Mar 7, 2008:
-  (-10 % PersistentUnionFind wrt Mar 3)
+  (-10% PersistentUnionFind wrt Mar 3)
 
 Feb 20, 2008: temporary 1-day slow down
   (+64% LinAlg)
-- 
cgit v1.2.3