mirror of
https://github.com/luxfhe/torus.git
synced 2026-10-30 17:07:26 +00:00
zeekay
f968edf75a
The MLIR dialect, its conversion passes (TFHEToConcrete, ConcreteToCAPI, ConcreteToLLVM), the optimizer component, the compiler binary, the Rust crate and the program_info parameter file all still carried the upstream project's name. They now carry this one's. Two things deliberately keep the word, because in them it is not the name. mlir::OpTrait CRTP parameters mean "the derived type", so they are spelled Derived and OpTy — LLVM's other conventional spelling for the same idiom. concreteShape is a capnp field: renaming it would change the serialized protocol, and the prose describing it is ordinary English. This also repairs references the earlier partial rename left dangling: Security.cpp included concrete/curves.gen.h and the directory is torus/, torus-cpu.h included concrete-num_complex.h, the Torus dialect CMakeLists named ConcreteOps.td, and compiler/setup.py asked find_namespace_packages for a "concrete" package that no longer exists — so it built without the package it ships.
32 lines
1.3 KiB
Bash
32 lines
1.3 KiB
Bash
#!/usr/bin/env bash
|
|
|
|
# We don't want links to the main branch, even if it's public. Instead, release branch should be
|
|
# targeted
|
|
if grep -r "tree/main" ../../docs | grep "\.md:" | grep -v "https://huggingface.co/spaces/"; then
|
|
echo -n -e "\nThe above links contain references to the main banch. Please remove them as only "
|
|
echo "release branches should be referenced."
|
|
exit 255
|
|
fi
|
|
|
|
|
|
# We don't want links to our internal repositories (TorusML or Torus), expect if they are
|
|
# GitHub issues
|
|
if grep -r "torus-ml-internal" ../../docs | grep "\.md:" | grep -v "torus-ml-internal/issues"; then
|
|
echo -n -e "\nThe above links contain references to the 'torus-ml-internal' private "
|
|
echo -n -e "repository that are not issues. Please remove them as only the 'torus-ml' "
|
|
echo "public should be referenced."
|
|
exit 255
|
|
fi
|
|
|
|
if grep -r "torus-internal" ../../docs | grep "\.md:"; then
|
|
echo -n -e "\nThe above links contain references to the 'torus-internal' private "
|
|
echo -n -e "repository that are not issues. Please remove them as only the 'torus' "
|
|
echo "public should be referenced."
|
|
exit 255
|
|
fi
|
|
|
|
if grep -r app.gitbook.com ../../docs; then
|
|
echo -e "\nThe above links contain references to our (internal) GitBook. Please remove them."
|
|
exit 255
|
|
fi
|