From 370e3fda7526f70ff7a8ff2ae213c097ed9c1e0a Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 28 Dec 2005 12:49:17 +0000
Subject: MAJ

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

(limited to 'dev')

diff --git a/dev/perf-analysis b/dev/perf-analysis
index 485de6f258..232591569b 100644
--- a/dev/perf-analysis
+++ b/dev/perf-analysis
@@ -5,12 +5,13 @@ Performance analysis for V8-0 branch
 
   Dec 27, 2005: contrib Karatsuba added (~ 30s)
 
-Dec 1-14, 2005: benchmarking server down
-  entre les 2: Godel: -10%
+Dec 28, 2005: size decrease
+  mainly due to Defined moved to Qed in FSets (reduction from 95M to 7Mo)
 
-Nov 29 and Dec 16, 2005: size increase
-  due to new record flag in inductive for extraction
-  but time decrease (e.g. Godel: -8%)
+Dec 1-14, 2005: benchmarking server down
+  between the two dates: Godel: -10%, CoRN: -10%
+  probably due to changes around vm (new informative Cast,
+  change of equality in named_context_val) 
 
   Oct 6, 2005: contribs IPC and Tait added (~ 22s and ~ 25s)
 
-- 
cgit v1.2.3