From 4f2b95d698d6e5b84002c9bf7a2cca1854104331 Mon Sep 17 00:00:00 2001 From: Rodolphe Lepigre Date: Fri, 12 Dec 2025 22:58:49 +0100 Subject: [PATCH] Moving [*-bluerock-*] to [rocq-skylabs-*]. --- .../theories/hints/cancelx_notation.v | 0 .../theories/hints/orient.v | 0 .../theories/auto/cpp/Arith.v | 0 .../theories/auto/cpp/auto_frac/hints.v | 0 .../theories/auto/cpp/breakpoints.v | 0 .../theories/auto/cpp/cpp_proof.v | 0 .../theories/auto/cpp/delayed_case_tactics.v | 0 .../theories/auto/cpp/elpi/cpp_class.v | 0 .../theories/auto/cpp/elpi/cpp_enum.v | 0 .../theories/auto/cpp/elpi/cpp_spec.v | 0 .../theories/auto/cpp/elpi/derive/bi.v | 0 .../theories/auto/cpp/elpi/derive/eager_unfold.v | 0 .../theories/auto/cpp/elpi/derive/equiv.v | 0 .../theories/auto/cpp/elpi/derive/lazy_unfold.v | 0 .../theories/auto/cpp/hints/fractional.v | 0 .../theories/auto/cpp/specs/inline.v | 0 .../theories/auto/elpi/derive/bwd.v | 0 .../theories/auto/elpi/derive/cancel.v | 0 .../theories/auto/elpi/derive/fwd.v | 0 .../theories/auto/elpi/derive/hint_opaque.v | 0 20 files changed, 0 insertions(+), 0 deletions(-) rename content/reference/{coq-bluerock-auto-core => rocq-skylabs-auto-core}/theories/hints/cancelx_notation.v (100%) rename content/reference/{coq-bluerock-auto-core => rocq-skylabs-auto-core}/theories/hints/orient.v (100%) rename content/reference/{coq-bluerock-auto-cpp => rocq-skylabs-auto-cpp}/theories/auto/cpp/Arith.v (100%) rename content/reference/{coq-bluerock-auto-cpp => rocq-skylabs-auto-cpp}/theories/auto/cpp/auto_frac/hints.v (100%) rename content/reference/{coq-bluerock-auto-cpp => rocq-skylabs-auto-cpp}/theories/auto/cpp/breakpoints.v (100%) rename content/reference/{coq-bluerock-auto-cpp => rocq-skylabs-auto-cpp}/theories/auto/cpp/cpp_proof.v (100%) rename content/reference/{coq-bluerock-auto-cpp => rocq-skylabs-auto-cpp}/theories/auto/cpp/delayed_case_tactics.v (100%) rename content/reference/{coq-bluerock-auto-cpp => rocq-skylabs-auto-cpp}/theories/auto/cpp/elpi/cpp_class.v (100%) rename content/reference/{coq-bluerock-auto-cpp => rocq-skylabs-auto-cpp}/theories/auto/cpp/elpi/cpp_enum.v (100%) rename content/reference/{coq-bluerock-auto-cpp => rocq-skylabs-auto-cpp}/theories/auto/cpp/elpi/cpp_spec.v (100%) rename content/reference/{coq-bluerock-auto-cpp => rocq-skylabs-auto-cpp}/theories/auto/cpp/elpi/derive/bi.v (100%) rename content/reference/{coq-bluerock-auto-cpp => rocq-skylabs-auto-cpp}/theories/auto/cpp/elpi/derive/eager_unfold.v (100%) rename content/reference/{coq-bluerock-auto-cpp => rocq-skylabs-auto-cpp}/theories/auto/cpp/elpi/derive/equiv.v (100%) rename content/reference/{coq-bluerock-auto-cpp => rocq-skylabs-auto-cpp}/theories/auto/cpp/elpi/derive/lazy_unfold.v (100%) rename content/reference/{coq-bluerock-auto-cpp => rocq-skylabs-auto-cpp}/theories/auto/cpp/hints/fractional.v (100%) rename content/reference/{coq-bluerock-auto-cpp => rocq-skylabs-auto-cpp}/theories/auto/cpp/specs/inline.v (100%) rename content/reference/{coq-bluerock-auto-cpp => rocq-skylabs-auto-cpp}/theories/auto/elpi/derive/bwd.v (100%) rename content/reference/{coq-bluerock-auto-cpp => rocq-skylabs-auto-cpp}/theories/auto/elpi/derive/cancel.v (100%) rename content/reference/{coq-bluerock-auto-cpp => rocq-skylabs-auto-cpp}/theories/auto/elpi/derive/fwd.v (100%) rename content/reference/{coq-bluerock-auto-cpp => rocq-skylabs-auto-cpp}/theories/auto/elpi/derive/hint_opaque.v (100%) diff --git a/content/reference/coq-bluerock-auto-core/theories/hints/cancelx_notation.v b/content/reference/rocq-skylabs-auto-core/theories/hints/cancelx_notation.v similarity index 100% rename from content/reference/coq-bluerock-auto-core/theories/hints/cancelx_notation.v rename to content/reference/rocq-skylabs-auto-core/theories/hints/cancelx_notation.v diff --git a/content/reference/coq-bluerock-auto-core/theories/hints/orient.v b/content/reference/rocq-skylabs-auto-core/theories/hints/orient.v similarity index 100% rename from content/reference/coq-bluerock-auto-core/theories/hints/orient.v rename to content/reference/rocq-skylabs-auto-core/theories/hints/orient.v diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/Arith.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/Arith.v similarity index 100% rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/Arith.v rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/Arith.v diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/auto_frac/hints.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/auto_frac/hints.v similarity index 100% rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/auto_frac/hints.v rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/auto_frac/hints.v diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/breakpoints.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/breakpoints.v similarity index 100% rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/breakpoints.v rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/breakpoints.v diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/cpp_proof.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/cpp_proof.v similarity index 100% rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/cpp_proof.v rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/cpp_proof.v diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/delayed_case_tactics.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/delayed_case_tactics.v similarity index 100% rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/delayed_case_tactics.v rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/delayed_case_tactics.v diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/cpp_class.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/cpp_class.v similarity index 100% rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/cpp_class.v rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/cpp_class.v diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/cpp_enum.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/cpp_enum.v similarity index 100% rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/cpp_enum.v rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/cpp_enum.v diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/cpp_spec.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/cpp_spec.v similarity index 100% rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/cpp_spec.v rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/cpp_spec.v diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/derive/bi.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/derive/bi.v similarity index 100% rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/derive/bi.v rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/derive/bi.v diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/derive/eager_unfold.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/derive/eager_unfold.v similarity index 100% rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/derive/eager_unfold.v rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/derive/eager_unfold.v diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/derive/equiv.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/derive/equiv.v similarity index 100% rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/derive/equiv.v rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/derive/equiv.v diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/derive/lazy_unfold.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/derive/lazy_unfold.v similarity index 100% rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/elpi/derive/lazy_unfold.v rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/elpi/derive/lazy_unfold.v diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/hints/fractional.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/hints/fractional.v similarity index 100% rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/hints/fractional.v rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/hints/fractional.v diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/specs/inline.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/specs/inline.v similarity index 100% rename from content/reference/coq-bluerock-auto-cpp/theories/auto/cpp/specs/inline.v rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/cpp/specs/inline.v diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/elpi/derive/bwd.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/elpi/derive/bwd.v similarity index 100% rename from content/reference/coq-bluerock-auto-cpp/theories/auto/elpi/derive/bwd.v rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/elpi/derive/bwd.v diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/elpi/derive/cancel.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/elpi/derive/cancel.v similarity index 100% rename from content/reference/coq-bluerock-auto-cpp/theories/auto/elpi/derive/cancel.v rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/elpi/derive/cancel.v diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/elpi/derive/fwd.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/elpi/derive/fwd.v similarity index 100% rename from content/reference/coq-bluerock-auto-cpp/theories/auto/elpi/derive/fwd.v rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/elpi/derive/fwd.v diff --git a/content/reference/coq-bluerock-auto-cpp/theories/auto/elpi/derive/hint_opaque.v b/content/reference/rocq-skylabs-auto-cpp/theories/auto/elpi/derive/hint_opaque.v similarity index 100% rename from content/reference/coq-bluerock-auto-cpp/theories/auto/elpi/derive/hint_opaque.v rename to content/reference/rocq-skylabs-auto-cpp/theories/auto/elpi/derive/hint_opaque.v