diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-10-29 08:43:46 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2007-10-29 08:43:46 +0000 |
| commit | 737f45c9362d1435f66889bad3fbce638c982643 (patch) | |
| tree | dd26bb5c4bff37a08f909c3408f9cd620d7273d8 | |
| parent | 2743abda225dbf67e2bca0315a691d99ce6f550d (diff) | |
MAJ
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10268 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | dev/doc/perf-analysis | 17 |
1 files changed, 14 insertions, 3 deletions
diff --git a/dev/doc/perf-analysis b/dev/doc/perf-analysis index 5a9281a30..0df497a55 100644 --- a/dev/doc/perf-analysis +++ b/dev/doc/perf-analysis @@ -1,7 +1,18 @@ -Performance analysis for V8-0 branch ------------------------------------- +Performance analysis (trunk repository) +--------------------------------------- -Apr 11, 2007: added primitive integers (+6% CoLoR, +7% CoRN, ...) +Between Oct 12 and Oct 27, 2007: inefficiency temporarily introduced in the + tactic interpreter (from revision 10222 to 10267) + (+22% CoRN, +10% geometry, ...) + +Jun 6, 2007: optimization of the need for type unification in with-bindings + (-3.5% Stalmark, -6% Kildall) + +May 20, 21, 22, 2007: improved inference of with-bindings (including activation + of unification on types) + (+4% PICALC, +5% Stalmark, +7% Kildall) + +May 11, 2007: added primitive integers (+6% CoLoR, +7% CoRN, +5% FSets, ...) Between Feb 22 and March 16, 2007: bench temporarily moved on JMN's computer (-25% CoRN, -25% Fairisle, ...) |