From 79d1421ce90b7f3c0c6a719a93a87d36b3abdfcd Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 21 May 2007 07:35:31 +0000
Subject: MAJ

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

(limited to 'dev')

diff --git a/dev/doc/perf-analysis b/dev/doc/perf-analysis
index 22c0e84398..5a9281a302 100644
--- a/dev/doc/perf-analysis
+++ b/dev/doc/perf-analysis
@@ -1,6 +1,11 @@
 Performance analysis for V8-0 branch
 ------------------------------------
 
+Apr 11, 2007: added primitive integers (+6% CoLoR, +7% CoRN, ...)
+
+Between Feb 22 and March 16, 2007: bench temporarily moved on JMN's
+  computer (-25% CoRN, -25% Fairisle, ...)
+
 Oct 29 and Oct 30, 2006: abandoned attempt to add polymorphism on definitions
   (+4% in general during these two days)
 
-- 
cgit v1.2.3