From 6e31c88be3700a7171f181b86aa342f0fce80108 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/ --- helm/software/{components/binaries/utilities => }/benchmarks/bugs | 0 .../benchmarks/log20060329_ripristinata_convertibilita_aggressiva | 0 .../benchmarks/log20060329_subst_avoids_beta_redexes | 0 .../binaries/utilities => }/benchmarks/log20060330_no_profiling | 0 .../binaries/utilities => }/benchmarks/log20060403_meno_unwind | 0 .../utilities => }/benchmarks/log20060411_cregut_timestamp_bacato | 0 .../log20060411_cregut_timestamp_bacato_misurazione_significativa | 0 .../{components/binaries/utilities => }/benchmarks/mostri20060328 | 0 .../mostri20060329_ripristinata_convertibilita_aggressiva | 0 .../benchmarks/mostri20060329_subst_avoids_beta_redexes | 0 .../{components/binaries/utilities => }/benchmarks/uris.ordered | 0 .../{components/binaries/utilities => }/benchmarks/uris.unordered | 0 12 files changed, 0 insertions(+), 0 deletions(-) rename helm/software/{components/binaries/utilities => }/benchmarks/bugs (100%) rename helm/software/{components/binaries/utilities => }/benchmarks/log20060329_ripristinata_convertibilita_aggressiva (100%) rename helm/software/{components/binaries/utilities => }/benchmarks/log20060329_subst_avoids_beta_redexes (100%) rename helm/software/{components/binaries/utilities => }/benchmarks/log20060330_no_profiling (100%) rename helm/software/{components/binaries/utilities => }/benchmarks/log20060403_meno_unwind (100%) rename helm/software/{components/binaries/utilities => }/benchmarks/log20060411_cregut_timestamp_bacato (100%) rename helm/software/{components/binaries/utilities => }/benchmarks/log20060411_cregut_timestamp_bacato_misurazione_significativa (100%) rename helm/software/{components/binaries/utilities => }/benchmarks/mostri20060328 (100%) rename helm/software/{components/binaries/utilities => }/benchmarks/mostri20060329_ripristinata_convertibilita_aggressiva (100%) rename helm/software/{components/binaries/utilities => }/benchmarks/mostri20060329_subst_avoids_beta_redexes (100%) rename helm/software/{components/binaries/utilities => }/benchmarks/uris.ordered (100%) rename helm/software/{components/binaries/utilities => }/benchmarks/uris.unordered (100%) diff --git a/helm/software/components/binaries/utilities/benchmarks/bugs b/helm/software/benchmarks/bugs similarity index 100% rename from helm/software/components/binaries/utilities/benchmarks/bugs rename to helm/software/benchmarks/bugs diff --git a/helm/software/components/binaries/utilities/benchmarks/log20060329_ripristinata_convertibilita_aggressiva b/helm/software/benchmarks/log20060329_ripristinata_convertibilita_aggressiva similarity index 100% rename from helm/software/components/binaries/utilities/benchmarks/log20060329_ripristinata_convertibilita_aggressiva rename to helm/software/benchmarks/log20060329_ripristinata_convertibilita_aggressiva diff --git a/helm/software/components/binaries/utilities/benchmarks/log20060329_subst_avoids_beta_redexes b/helm/software/benchmarks/log20060329_subst_avoids_beta_redexes similarity index 100% rename from helm/software/components/binaries/utilities/benchmarks/log20060329_subst_avoids_beta_redexes rename to helm/software/benchmarks/log20060329_subst_avoids_beta_redexes diff --git a/helm/software/components/binaries/utilities/benchmarks/log20060330_no_profiling b/helm/software/benchmarks/log20060330_no_profiling similarity index 100% rename from helm/software/components/binaries/utilities/benchmarks/log20060330_no_profiling rename to helm/software/benchmarks/log20060330_no_profiling diff --git a/helm/software/components/binaries/utilities/benchmarks/log20060403_meno_unwind b/helm/software/benchmarks/log20060403_meno_unwind similarity index 100% rename from helm/software/components/binaries/utilities/benchmarks/log20060403_meno_unwind rename to helm/software/benchmarks/log20060403_meno_unwind diff --git a/helm/software/components/binaries/utilities/benchmarks/log20060411_cregut_timestamp_bacato b/helm/software/benchmarks/log20060411_cregut_timestamp_bacato similarity index 100% rename from helm/software/components/binaries/utilities/benchmarks/log20060411_cregut_timestamp_bacato rename to helm/software/benchmarks/log20060411_cregut_timestamp_bacato diff --git a/helm/software/components/binaries/utilities/benchmarks/log20060411_cregut_timestamp_bacato_misurazione_significativa b/helm/software/benchmarks/log20060411_cregut_timestamp_bacato_misurazione_significativa similarity index 100% rename from helm/software/components/binaries/utilities/benchmarks/log20060411_cregut_timestamp_bacato_misurazione_significativa rename to helm/software/benchmarks/log20060411_cregut_timestamp_bacato_misurazione_significativa diff --git a/helm/software/components/binaries/utilities/benchmarks/mostri20060328 b/helm/software/benchmarks/mostri20060328 similarity index 100% rename from helm/software/components/binaries/utilities/benchmarks/mostri20060328 rename to helm/software/benchmarks/mostri20060328 diff --git a/helm/software/components/binaries/utilities/benchmarks/mostri20060329_ripristinata_convertibilita_aggressiva b/helm/software/benchmarks/mostri20060329_ripristinata_convertibilita_aggressiva similarity index 100% rename from helm/software/components/binaries/utilities/benchmarks/mostri20060329_ripristinata_convertibilita_aggressiva rename to helm/software/benchmarks/mostri20060329_ripristinata_convertibilita_aggressiva diff --git a/helm/software/components/binaries/utilities/benchmarks/mostri20060329_subst_avoids_beta_redexes b/helm/software/benchmarks/mostri20060329_subst_avoids_beta_redexes similarity index 100% rename from helm/software/components/binaries/utilities/benchmarks/mostri20060329_subst_avoids_beta_redexes rename to helm/software/benchmarks/mostri20060329_subst_avoids_beta_redexes diff --git a/helm/software/components/binaries/utilities/benchmarks/uris.ordered b/helm/software/benchmarks/uris.ordered similarity index 100% rename from helm/software/components/binaries/utilities/benchmarks/uris.ordered rename to helm/software/benchmarks/uris.ordered diff --git a/helm/software/components/binaries/utilities/benchmarks/uris.unordered b/helm/software/benchmarks/uris.unordered similarity index 100% rename from helm/software/components/binaries/utilities/benchmarks/uris.unordered rename to helm/software/benchmarks/uris.unordered -- 2.39.2