mirror of
https://github.com/zama-ai/concrete.git
synced 2026-02-09 20:25:34 -05:00
A value of 1 is perfectly valid for the 2-norm of the constant vector of a dot operation. Hence, the log2 of that value of 0 is also perfectly valid. However, the offset of -1 in `getV0Parameter` applied to that value yields an offset into a static lookup table of -1, which triggers a segmentation fault. This patch removes the offset of -1 for the log2 value of the 2-norm in `getV0Parameter`.
Building the compiler
Generate the compiler build system, in the build directory
cmake -B build . -DLLVM_DIR=$LLVM_PROJECT/build/lib/cmake/llvm -DMLIR_DIR=$LLVM_PROJECT/build/lib/cmake/mlir
Build the compiler
make -C build/ zamacompiler
Run the compiler
./build/src/zamacompiler