summaryrefslogtreecommitdiff
path: root/dev/perf-analysis
blob: 4295a573d882343e3a10c8b9f1bcb085c605311a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
Performance analysis for V8-0-bugfix branch
-------------------------------------------

  Dec 27, 2005: contrib Karatsuba added (~ 24s)

Dec 1-14, 2005: benchmarking server down

Nov 29 and Dec 16, 2005: size increase
  due to new record flag in inductive for extraction

  Oct 6, 2005: contribs IPC and Tait added (~ 22s and ~ 24s)
 
  Aug 1, 2005: contrib Kildall added (~ 64s)
 
Jul 26-Aug 2, 2005: bench down

Jul 14-15, 2005: 4 contribs failed including CoRN

  Jul 7, 2005: adding contrib Fermat4: but not compabible and remove on Jul 8

  Jun 17, 2005: contrib Goodstein extended and moved to CantorOrdinals (~ 28s)

Jun 4, 2005: significant time reduction
   (e.g. Nijmegen/LinAlg: -15%, Nijmegen/QArith: stable; Nijmegen/CoRN: -1%)
   only changes are the removal of an assert checking location and
   the pre-definition of level 200 (could it be just a parsing improvement??)

  May 19, 2005: contrib Goodstein and prfx (~ 9s) added 

Apr 30, 2005: evaluation order of atomic tactics changed
   (e.g. Nijmegen/CoRN: stable, Nijmegen/QArith: -2%, Nijmegen/LinAlg: +20%) 

Mar 20, 2005: fixed Logic.with_check bug
  improved whole V8-0-bugfix bench by 4 %
  (e.g. Nijmegen/CoRN: - 7.5 %, Nijmegen/QARITH: - 1.5 %)

Mar 7-10, 2005: unexplained time reduction 
  (on Mar 7, changed Ppconstrnew univ printer only)
  (note also a server upgrade around Mar 10)

Feb 17, 2005: fixed omega bug #922 (wrong STATE dependency):
  improved whole V8-0-bugfix bench by 2 %
  (e.g. Nijmegen/CoRN: - 6.5 %, Nijmegen/QARITH: - 3 %)

Feb 2, 2005: fixed ltac var interpretation order

  Jan 13, 2005: contrib SumOfTwoSquare added (~ 37s)

Dec 20-29, 2004: reduced whole V8-0-bugfix due to Berkeley/Godel failure

Nov 27 - Dec 10, 2004: strong instability