From 1e9ff205a0f23a59169198d7d0158eb4d794ffce Mon Sep 17 00:00:00 2001 From: Franziskus Kiefer Date: Sun, 7 Jan 2024 19:52:45 +0100 Subject: [PATCH] remove some leftover hacspec-v2 strings --- .github/workflows/test_installs.yml | 2 +- cli/driver/src/exporter.rs | 2 +- engine/lib/import_thir.ml | 2 +- frontend/diagnostics/src/lib.rs | 2 +- frontend/exporter/src/types/copied.rs | 2 +- frontend/exporter/src/utils.rs | 2 +- hax-lib-macros/src/utils.rs | 2 +- setup.sh | 2 +- 8 files changed, 8 insertions(+), 8 deletions(-) diff --git a/.github/workflows/test_installs.yml b/.github/workflows/test_installs.yml index 64f60b814..5ed2a6640 100644 --- a/.github/workflows/test_installs.yml +++ b/.github/workflows/test_installs.yml @@ -13,7 +13,7 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v3 - - run: docker build -f .docker/Dockerfile . -t hacspec-v2 + - run: docker build -f .docker/Dockerfile . -t hax setup_sh: if: ${{ github.event_name == 'workflow_dispatch' || github.event_name == 'merge_group' }} strategy: diff --git a/cli/driver/src/exporter.rs b/cli/driver/src/exporter.rs index 7cbadbc56..802363231 100644 --- a/cli/driver/src/exporter.rs +++ b/cli/driver/src/exporter.rs @@ -143,7 +143,7 @@ fn precompute_local_thir_bodies<'tcx>( })) { Ok(x) => x, Err(e) => { - tcx.sess.span_err(span, format!("The THIR body of item {:?} was stolen.\nThis is not supposed to happen.\nThis is a bug in Hax's frontend.\nThis is discussed in issue https://github.com/hacspec/hacspec-v2/issues/27.\nPlease comment this issue if you see this error message!", ldid)); + tcx.sess.span_err(span, format!("The THIR body of item {:?} was stolen.\nThis is not supposed to happen.\nThis is a bug in Hax's frontend.\nThis is discussed in issue https://github.com/hacspec/hax/issues/27.\nPlease comment this issue if you see this error message!", ldid)); return (ldid, dummy_thir_body(tcx, span)); } }; diff --git a/engine/lib/import_thir.ml b/engine/lib/import_thir.ml index d83b68ac1..1db362c78 100644 --- a/engine/lib/import_thir.ml +++ b/engine/lib/import_thir.ml @@ -1322,7 +1322,7 @@ and c_item_unwrapped ~ident (item : Thir.item) : item list = (* TODO: introduce a Kind.TraitImplItem or something. Otherwise we have to assume every backend will see traits and impls as - records. See https://github.com/hacspec/hacspec-v2/issues/271. *) + records. See https://github.com/hacspec/hax/issues/271. *) let ii_ident = Concrete_ident.of_def_id Field item.owner_id in diff --git a/frontend/diagnostics/src/lib.rs b/frontend/diagnostics/src/lib.rs index 43e2967ce..5af0e73f1 100644 --- a/frontend/diagnostics/src/lib.rs +++ b/frontend/diagnostics/src/lib.rs @@ -79,7 +79,7 @@ impl std::fmt::Display for Diagnostics { f, "something is not implemented yet.{}{}", match issue_id { - Some(id) => format!("This is discussed in issue https://github.com/hacspec/hacspec-v2/issues/{id}.\nPlease upvote or comment this issue if you see this error message."), + Some(id) => format!("This is discussed in issue https://github.com/hacspec/hax/issues/{id}.\nPlease upvote or comment this issue if you see this error message."), _ => "".to_string(), }, match details { diff --git a/frontend/exporter/src/types/copied.rs b/frontend/exporter/src/types/copied.rs index cff7e9a34..5facde752 100644 --- a/frontend/exporter/src/types/copied.rs +++ b/frontend/exporter/src/types/copied.rs @@ -429,7 +429,7 @@ pub enum UserType { // // In this case, we get a [rustc_middle::ty::ConstKind::Bound] in // [do_something], which we are not able to translate. - // See: https://github.com/hacspec/hacspec-v2/pull/209 + // See: https://github.com/hacspec/hax/pull/209 // Ty(Ty), // TypeOf(DefId, UserSubsts), diff --git a/frontend/exporter/src/utils.rs b/frontend/exporter/src/utils.rs index 9fac82465..9b40460d0 100644 --- a/frontend/exporter/src/utils.rs +++ b/frontend/exporter/src/utils.rs @@ -33,7 +33,7 @@ mod internal_helpers { builder.code(rustc_errors::DiagnosticId::Error(format!("HaxFront"))); builder.note( "⚠️ This is a bug in Hax's frontend. -Please report this error to https://github.com/hacspec/hacspec-v2/issues with some context (e.g. the current crate)!", +Please report this error to https://github.com/hacspec/hax/issues with some context (e.g. the current crate)!", ); builder.emit() }}; diff --git a/hax-lib-macros/src/utils.rs b/hax-lib-macros/src/utils.rs index 357a2ec1c..52ee9d5d9 100644 --- a/hax-lib-macros/src/utils.rs +++ b/hax-lib-macros/src/utils.rs @@ -141,7 +141,7 @@ pub fn make_fn_decoration( let uid = ItemUid::fresh(); let any_mut_ref = unmut_references_in_inputs(&mut signature); if any_mut_ref && matches!(kind, FnDecorationKind::Ensures { .. }) { - panic!("For now, ensures clause don't work on function that have `&mut` inputs (see https://github.com/hacspec/hacspec-v2/issues/290)") + panic!("For now, ensures clause don't work on function that have `&mut` inputs (see https://github.com/hacspec/hax/issues/290)") } let self_ident: Ident = syn::parse_quote! {self_}; diff --git a/setup.sh b/setup.sh index ea2dc8a54..5aa360a22 100755 --- a/setup.sh +++ b/setup.sh @@ -54,7 +54,7 @@ install_rust_binaries() { # Provides the `hax-engine` binary install_ocaml_engine() { - # Fixes out of memory issues (https://github.com/hacspec/hacspec-v2/issues/197) + # Fixes out of memory issues (https://github.com/hacspec/hax/issues/197) { # Limit the number of thread spawned by opam export OPAMJOBS=$opam_jobs