diff options
| author | herbelin | 2010-06-06 12:59:49 +0000 |
|---|---|---|
| committer | herbelin | 2010-06-06 12:59:49 +0000 |
| commit | 5cfed41826bb2c1cb6946bc53f56d93232c98011 (patch) | |
| tree | 57cfa8fdd41ac62b0928e851e15ed84e3322df9b /dev/doc | |
| parent | e5034fbbf23edb17dd88175b2f44b2dc9b4110fa (diff) | |
Updated performance analysis file
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13079 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/doc')
| -rw-r--r-- | dev/doc/perf-analysis | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/dev/doc/perf-analysis b/dev/doc/perf-analysis index 4c27d808b9..805f0778d1 100644 --- a/dev/doc/perf-analysis +++ b/dev/doc/perf-analysis @@ -1,6 +1,21 @@ Performance analysis (trunk repository) --------------------------------------- +Jun 4, 2010: improvement in type classes inference by removing + systematic preparation of debugging pretty-printing streams (std_ppcmds) + (-7% in ATBR, visible only on V8.3 logs since ATBR is broken in trunk) + +Apr 19, 2010: small improvement obtained by reducing evar instantiation + from O(n^3) to O(n^2) in the size of the instance (-2% in Compcert, + -2% AreaMethod, -15% in Ssreflect) + +Apr 17, 2010: small improvement obtained by not repeating unification + twice in auto (-2% in Compcert, -2% in Algebra) + +Feb 15, 2010: Global decrease due to unicode inefficiency repaired + +Jan 8, 2010: Global increase due to an inefficiency in unicode treatment + Dec 1, 2009 - Dec 19, 2009: Temporary addition of [forall x, P x] hints to exact (generally not significative but, e.g., +25% on Subst, +8% on ZFC, +5% on AreaMethod) |