diff options
| author |  Samuel Mimram <smimram@debian.org> | 2006-11-21 21:38:49 +0000 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2006-11-21 21:38:49 +0000 |
| commit | 208a0f7bfa5249f9795e6e225f309cbe715c0fad (patch) | |
| tree | 591e9e512063e34099782e2518573f15ffeac003 /dev/doc | |
| parent | de0085539583f59dc7c4bf4e272e18711d565466 (diff) | |
Imported Upstream version 8.1~gammaupstream/8.1.gamma
Diffstat (limited to 'dev/doc')
| -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 23259156..f4cb3bff 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) |