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.
2.2 KiB
2.2 KiB
module torus.fhe.compilation.composition
Declaration of classes related to composition.
class CompositionClause
A raw composition clause.
method create
create(tup: tuple[str, int]) → CompositionClause
Create a composition clause from a tuple of a function name and a position.
class CompositionRule
A raw composition rule.
method create
create(tup: tuple[CompositionClause, CompositionClause]) → CompositionRule
Create a composition rule from a tuple containing an output clause and an input clause.
class CompositionPolicy
A protocol for composition policies.
method get_rules_iter
get_rules_iter(funcs: list[Graph]) → Iterable[CompositionRule]
Return an iterator over composition rules.