diff options
| author | herbelin | 2007-05-21 07:35:31 +0000 |
|---|---|---|
| committer | herbelin | 2007-05-21 07:35:31 +0000 |
| commit | 79d1421ce90b7f3c0c6a719a93a87d36b3abdfcd (patch) | |
| tree | 9428c10f89154ca84d8175bb6cab5b20afe423ce /dev/doc | |
| parent | e63eec5fa9517d05036f4dbf3b86b2d81ab4a07b (diff) | |
MAJ
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9844 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/doc')
| -rw-r--r-- | dev/doc/perf-analysis | 5 |
1 files changed, 5 insertions, 0 deletions
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) |