Restructuration dossier dev et mise à jour de certaines documentations

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8856 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 0 insertions, 47 deletions

diff --git a/dev/perf-analysis b/dev/perf-analysis
deleted file mode 100644
index 232591569b..0000000000
--- a/dev/perf-analysis
+++ /dev/null
@@ -1,47 +0,0 @@
-Performance analysis for V8-0 branch
-------------------------------------
-
-  Dec 29, 2005: new test and use of -vm in Stalmarck
-
-  Dec 27, 2005: contrib Karatsuba added (~ 30s)
-
-Dec 28, 2005: size decrease
-  mainly due to Defined moved to Qed in FSets (reduction from 95M to 7Mo)
-
-Dec 1-14, 2005: benchmarking server down
-  between the two dates: Godel: -10%, CoRN: -10%
-  probably due to changes around vm (new informative Cast,
-  change of equality in named_context_val) 
-
-  Oct 6, 2005: contribs IPC and Tait added (~ 22s and ~ 25s)
-
-Aug 19, 2005: time decrease after application of "Array.length x=0" Xavier's 
-  suggestions for optimisation
-  (e.g. Nijmegen/QArith: -3%, Nijmegen/CoRN: -7%, Godel: -3%)
- 
-  Aug 1, 2005: contrib Kildall added (~ 65s)
-
-Jul 26-Aug 2, 2005: bench down
-
-Jul 14-15, 2005: 4 contribs failed including CoRN
-
-Jul 14, 2005: time increase after activation of "closure optimisation"
-  (e.g. Nijmegen/QArith: +8%, Nijmegen/CoRN: +3%, Godel: +13%)
-
-  Jul 7, 2005: adding contrib Fermat4
-
-  Jun 17, 2005: contrib Goodstein extended and moved to CantorOrdinals (~ 30s)
-
-  May 19, 2005: contrib Goodstein and prfx (~ 9s) added 
-
-Apr 21, 2005: strange time decrease
-  (could it be due to the change of Back and Reset mechanism) 
-  (e.g. Nijmegen/CoRN: -2%, Nijmegen/QARITH: -4%, Godel: -11%)
-
-Mar 20, 2005: fixed Logic.with_check bug
-  global time decrease (e.g. Nijmegen/CoRN: -3%, Nijmegen/QARITH: -1.5%)
-
-Jan 31-Feb 8, 2005: small instability
-  (e.g. CoRN: ~2015s -> ~1999s -> ~2032s, Godel: ~340s -> ~370s)
-
-  Jan 13, 2005: contrib SumOfTwoSquare added (~ 38s)