diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-05-28 09:09:12 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2008-05-28 09:09:12 +0000 |
| commit | 941bac504672283a351d9a90f40f66fee7268e7d (patch) | |
| tree | 1bb04db59b59b3cc2767bb6e326263f3bfcd28e2 /dev/doc | |
| parent | d186aa7eb4709f8612c59984eb919f01e19e9b70 (diff) | |
- Correction bug highlighting "Module" dans Coqide
- Divers code mort (evarutil.ml, Bvector.v)
- MAJ perf-analysis
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11004 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/doc')
| -rw-r--r-- | dev/doc/perf-analysis | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/dev/doc/perf-analysis b/dev/doc/perf-analysis index 411cb61cc..8e4815447 100644 --- a/dev/doc/perf-analysis +++ b/dev/doc/perf-analysis @@ -1,17 +1,23 @@ Performance analysis (trunk repository) --------------------------------------- +May 21, 2008: New version of CoRN + (needs +84% more time to compile) + +Apr 25-29, 2008: Temporary attempt with delta in eauto (Matthieu) + (+28% CoRN) + Apr 17, 2008: improvement probably due to commit 10807 or 10813 (bug fixes, control of zeta in rewrite, auto (??)) (-18% Buchberger, -40% PAutomata, -28% IntMap, -43% CoRN, -13% LinAlg, but CatsInZFC -0.5% only, PiCalc stable, PersistentUnionFind -1%) Mar 11, 2008: - (+19 % PersistentUnionFind wrt Mar 3, +21% Angles, + (+19% PersistentUnionFind wrt Mar 3, +21% Angles, +270% Continuations between 7/3 and 18/4) Mar 7, 2008: - (-10 % PersistentUnionFind wrt Mar 3) + (-10% PersistentUnionFind wrt Mar 3) Feb 20, 2008: temporary 1-day slow down (+64% LinAlg) |