diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-11-19 10:42:51 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-11-19 10:42:51 +0000 |
| commit | 20a39fbca7b31284929c19df5c7c24225448c378 (patch) | |
| tree | b0cdfdea53b6bd7f9699db87851c8655a8a7c546 /dev/doc/perf-analysis | |
| parent | 043345f19f76a0a2f45a2281a57d45f6d2459e8a (diff) | |
MAJ
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9390 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/doc/perf-analysis')
| -rw-r--r-- | dev/doc/perf-analysis | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/dev/doc/perf-analysis b/dev/doc/perf-analysis index f4cb3bff9..22c0e8439 100644 --- a/dev/doc/perf-analysis +++ b/dev/doc/perf-analysis @@ -1,13 +1,14 @@ Performance analysis for V8-0 branch ------------------------------------ -Oct 29, 2006: polymorphism on definitions (+ 4%) +Oct 29 and Oct 30, 2006: abandoned attempt to add polymorphism on definitions + (+4% in general during these two days) Oct 17, 2006: improvement in new field [r9248] (QArith -3%, geometry: -2%) Oct 5, 2006: fixing wrong unification of Meta below binders - (e.g. CatsInZFC: +10%, CoRN: -2.5%, Godel: +4%, + (e.g. CatsInZFC: +10%, CoRN: -2.5%, Godel: +4%, LinAlg: +7%, DISTRIBUTED_REFERENCE_COUNTING: +10%, CoLoR: +1%) Sep 26, 2006: new field [r9178-9181] @@ -17,11 +18,17 @@ Sep 26, 2006: new field [r9178-9181] Aug 12, 2006: Rocq/AREA_METHOD added (~ 480s) May 30, 2006: Nancy/CoLoR added (~ 319s) +May 23, 2006: new, lighter version of polymorphic inductive types + (CoRN: -27%, back to Mar-24 time) + May 17, 2006: changes in List.v (DISTRIBUTED_REFERENCE_COUNTING: -) May 5, 2006: improvement in closure (array instead of lists) (e.g. CatsInZFC: -10%, CoRN: -3%, +May 23, 2006: polymorphic inductive types (precise, heavy algorithm) + (CoRN: +37%) + Dec 29, 2005: new test and use of -vm in Stalmarck Dec 27, 2005: contrib Karatsuba added (~ 30s) |