From 934c0ea6f38e8329487a5fe4db6b75b4d9e38f8d Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Tue, 13 Jun 2006 08:33:55 +0000 Subject: [PATCH] moved benchmnarks/ dir outside of components/ --- {components/binaries/utilities/benchmarks => benchmarks}/bugs | 0 .../log20060329_ripristinata_convertibilita_aggressiva | 0 .../log20060329_subst_avoids_beta_redexes | 0 .../utilities/benchmarks => benchmarks}/log20060330_no_profiling | 0 .../utilities/benchmarks => benchmarks}/log20060403_meno_unwind | 0 .../benchmarks => benchmarks}/log20060411_cregut_timestamp_bacato | 0 .../log20060411_cregut_timestamp_bacato_misurazione_significativa | 0 .../binaries/utilities/benchmarks => benchmarks}/mostri20060328 | 0 .../mostri20060329_ripristinata_convertibilita_aggressiva | 0 .../mostri20060329_subst_avoids_beta_redexes | 0 .../binaries/utilities/benchmarks => benchmarks}/uris.ordered | 0 .../binaries/utilities/benchmarks => benchmarks}/uris.unordered | 0 12 files changed, 0 insertions(+), 0 deletions(-) rename {components/binaries/utilities/benchmarks => benchmarks}/bugs (100%) rename {components/binaries/utilities/benchmarks => benchmarks}/log20060329_ripristinata_convertibilita_aggressiva (100%) rename {components/binaries/utilities/benchmarks => benchmarks}/log20060329_subst_avoids_beta_redexes (100%) rename {components/binaries/utilities/benchmarks => benchmarks}/log20060330_no_profiling (100%) rename {components/binaries/utilities/benchmarks => benchmarks}/log20060403_meno_unwind (100%) rename {components/binaries/utilities/benchmarks => benchmarks}/log20060411_cregut_timestamp_bacato (100%) rename {components/binaries/utilities/benchmarks => benchmarks}/log20060411_cregut_timestamp_bacato_misurazione_significativa (100%) rename {components/binaries/utilities/benchmarks => benchmarks}/mostri20060328 (100%) rename {components/binaries/utilities/benchmarks => benchmarks}/mostri20060329_ripristinata_convertibilita_aggressiva (100%) rename {components/binaries/utilities/benchmarks => benchmarks}/mostri20060329_subst_avoids_beta_redexes (100%) rename {components/binaries/utilities/benchmarks => benchmarks}/uris.ordered (100%) rename {components/binaries/utilities/benchmarks => benchmarks}/uris.unordered (100%) diff --git a/components/binaries/utilities/benchmarks/bugs b/benchmarks/bugs similarity index 100% rename from components/binaries/utilities/benchmarks/bugs rename to benchmarks/bugs diff --git a/components/binaries/utilities/benchmarks/log20060329_ripristinata_convertibilita_aggressiva b/benchmarks/log20060329_ripristinata_convertibilita_aggressiva similarity index 100% rename from components/binaries/utilities/benchmarks/log20060329_ripristinata_convertibilita_aggressiva rename to benchmarks/log20060329_ripristinata_convertibilita_aggressiva diff --git a/components/binaries/utilities/benchmarks/log20060329_subst_avoids_beta_redexes b/benchmarks/log20060329_subst_avoids_beta_redexes similarity index 100% rename from components/binaries/utilities/benchmarks/log20060329_subst_avoids_beta_redexes rename to benchmarks/log20060329_subst_avoids_beta_redexes diff --git a/components/binaries/utilities/benchmarks/log20060330_no_profiling b/benchmarks/log20060330_no_profiling similarity index 100% rename from components/binaries/utilities/benchmarks/log20060330_no_profiling rename to benchmarks/log20060330_no_profiling diff --git a/components/binaries/utilities/benchmarks/log20060403_meno_unwind b/benchmarks/log20060403_meno_unwind similarity index 100% rename from components/binaries/utilities/benchmarks/log20060403_meno_unwind rename to benchmarks/log20060403_meno_unwind diff --git a/components/binaries/utilities/benchmarks/log20060411_cregut_timestamp_bacato b/benchmarks/log20060411_cregut_timestamp_bacato similarity index 100% rename from components/binaries/utilities/benchmarks/log20060411_cregut_timestamp_bacato rename to benchmarks/log20060411_cregut_timestamp_bacato diff --git a/components/binaries/utilities/benchmarks/log20060411_cregut_timestamp_bacato_misurazione_significativa b/benchmarks/log20060411_cregut_timestamp_bacato_misurazione_significativa similarity index 100% rename from components/binaries/utilities/benchmarks/log20060411_cregut_timestamp_bacato_misurazione_significativa rename to benchmarks/log20060411_cregut_timestamp_bacato_misurazione_significativa diff --git a/components/binaries/utilities/benchmarks/mostri20060328 b/benchmarks/mostri20060328 similarity index 100% rename from components/binaries/utilities/benchmarks/mostri20060328 rename to benchmarks/mostri20060328 diff --git a/components/binaries/utilities/benchmarks/mostri20060329_ripristinata_convertibilita_aggressiva b/benchmarks/mostri20060329_ripristinata_convertibilita_aggressiva similarity index 100% rename from components/binaries/utilities/benchmarks/mostri20060329_ripristinata_convertibilita_aggressiva rename to benchmarks/mostri20060329_ripristinata_convertibilita_aggressiva diff --git a/components/binaries/utilities/benchmarks/mostri20060329_subst_avoids_beta_redexes b/benchmarks/mostri20060329_subst_avoids_beta_redexes similarity index 100% rename from components/binaries/utilities/benchmarks/mostri20060329_subst_avoids_beta_redexes rename to benchmarks/mostri20060329_subst_avoids_beta_redexes diff --git a/components/binaries/utilities/benchmarks/uris.ordered b/benchmarks/uris.ordered similarity index 100% rename from components/binaries/utilities/benchmarks/uris.ordered rename to benchmarks/uris.ordered diff --git a/components/binaries/utilities/benchmarks/uris.unordered b/benchmarks/uris.unordered similarity index 100% rename from components/binaries/utilities/benchmarks/uris.unordered rename to benchmarks/uris.unordered -- 2.39.2