diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-10-30 18:21:13 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2006-10-30 18:21:13 +0000 |
| commit | 6011cfe0b6e4c8660ec490cef1039955a41443f0 (patch) | |
| tree | 04507dfaa7916bc8a167ae244393e18688b73e06 /dev/doc/perf-analysis | |
| parent | d67d70b5f9002b4e9454588a098a9462c9147cb9 (diff) | |
MAJ
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9322 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/doc/perf-analysis')
| -rw-r--r-- | dev/doc/perf-analysis | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/dev/doc/perf-analysis b/dev/doc/perf-analysis index 232591569..f4cb3bff9 100644 --- a/dev/doc/perf-analysis +++ b/dev/doc/perf-analysis @@ -1,6 +1,27 @@ Performance analysis for V8-0 branch ------------------------------------ +Oct 29, 2006: polymorphism on definitions (+ 4%) + +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%, + DISTRIBUTED_REFERENCE_COUNTING: +10%, CoLoR: +1%) + +Sep 26, 2006: new field [r9178-9181] + (QArith: -16%, geometry: -5%, Float: +6%, BDDS:+5% but no ring in it) + + Sep 12, 2006: Rocq/AREA_METHOD extended (~ 530s) + Aug 12, 2006: Rocq/AREA_METHOD added (~ 480s) + May 30, 2006: Nancy/CoLoR added (~ 319s) + +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%, + Dec 29, 2005: new test and use of -vm in Stalmarck Dec 27, 2005: contrib Karatsuba added (~ 30s) |