docs(compiler): adding API doc

zama-ai · Mar 13, 2024 · 8fef8d1 · 8fef8d1
1 parent 9dcf1c4
commit 8fef8d1
Show file tree

Hide file tree

Showing 333 changed files with 17,055 additions and 244 deletions.
diff --git a/.github/workflows/scripts/check_for_license.sh b/.github/workflows/scripts/check_for_license.sh
@@ -13,7 +13,7 @@ for file in $files
 do
     cmp <(head -n 4 $file) <(echo "// Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.") || print_and_exit $file
 done
 
@@ -23,5 +23,5 @@ files=$(find ./compiler/{include,lib,src} -iregex '^.*\.\(py\)$' ! -path ./compi
 for file in $files
 do
     cmp <(head -n 2 $file) <(echo "#  Part of the Concrete Compiler Project, under the BSD3 License with Zama Exceptions.
-#  See https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt for license information.") || print_and_exit $file
+#  See https://github.com/zama-ai/concrete/blob/main/LICENSE.txt for license information.") || print_and_exit $file
 done
diff --git a/.github/workflows/testing_doc_is_updated.yml b/.github/workflows/testing_doc_is_updated.yml
@@ -0,0 +1,18 @@
+# Check that the documentation is up to date
+name: Check that the documentation is up to date
+
+on:
+    # Nightly Release @ 3AM after each work day
+    - cron: "0 3 * * 2-6"
+
+jobs:
+  check-doc:
+    name: Check that the documentation is up to date
+    runs-on: ubuntu-20.04
+    steps:
+      - name: Check that the documentation is up to date
+        shell: bash
+        run: |
+          set +e
+
+          ./ci/scripts/make_apidocs.sh
diff --git a/ci/scripts/make_apidocs.sh b/ci/scripts/make_apidocs.sh
@@ -0,0 +1,95 @@
+#!/usr/bin/env bash
+
+# In this script, we:
+#   create a fresh directory
+#   create a fresh venv
+#   download the last CP
+#   make API docs for it
+
+FRESH_DIRECTORY="tempdirectoryforapidocs"
+
+# Keep a copy of the doc, to check changes
+rm -rf docs-copy
+cp -r docs docs-copy
+
+# Remote old files
+rm docs/dev/api/*.md
+
+set -e
+
+# Make a new fresh venv, and install the last public CP there (hence, the --isolated to not take
+# nightlies)
+rm -rf "$FRESH_DIRECTORY"
+mkdir "$FRESH_DIRECTORY"
+cd "$FRESH_DIRECTORY"
+python3 -m venv .venvtrash
+source .venvtrash/bin/activate
+pip install concrete-python --index-url https://pypi.org/simple --isolated
+pip install lazydocs
+
+# Make API doc files
+.venvtrash/bin/lazydocs --output-path="../docs/dev/api" --overview-file="README.md" --src-base-url="../../" --no-watermark concrete
+cd -
+
+# Add the files in the summary
+FILES=$(cd docs && find dev/api -name "*.md")
+
+TMP_FILE=$(mktemp /tmp/apidocs.XXXXXX)
+rm -rf "$TMP_FILE"
+touch "$TMP_FILE"
+
+for f in $FILES
+do
+    filename=$(echo "$f" | rev | cut -d '/' -f 1 | rev)
+
+    echo "  - [$filename]($f)" >> "$TMP_FILE"
+done
+
+FINAL_FILE="docs/SUMMARY.md"
+NEW_FINAL_FILE="docs/SUMMARY.md.tmp"
+
+grep "<!-- auto-created, do not edit, begin -->" $FINAL_FILE -B 100000 > $NEW_FINAL_FILE
+sort "$TMP_FILE" | grep -v "\[README.md\]" >> $NEW_FINAL_FILE
+grep "<!-- auto-created, do not edit, end -->" $FINAL_FILE -A 100000 >> $NEW_FINAL_FILE
+
+mv $NEW_FINAL_FILE $FINAL_FILE
+
+rm -rf "$FRESH_DIRECTORY"
+
+# New files?
+echo "Warning. You might have new API-doc files to git add & push, don't forget"
+
+# Fixing the path issues, to point on files in GitHub
+WHICH_PYTHON_VERSION=$(python3 --version | cut -f 2 -d " " | cut -f 1-2 -d ".")
+sed -i "" -e "s@../../$FRESH_DIRECTORY/.venvtrash/lib/python$WHICH_PYTHON_VERSION/site-packages/@../../../compilers/concrete-compiler/compiler/lib/Bindings/Python/@g" docs/dev/api/*.md
+
+# Fixing the links in README.md, which fails (missing .'s for some reason): remove the #headers
+sed -i "" -e "[email protected]#module-.*)@.md)@g" docs/dev/api/README.md
+sed -i "" -e "[email protected]#function-.*)@.md)@g" docs/dev/api/README.md
+sed -i "" -e "[email protected]#class-.*)@.md)@g" docs/dev/api/README.md
+
+# Removed the "object addresses" and "function addresses", since they are not constant
+sed -i "" -e "s@object at 0x[a-zA-z0-9]*@object at ADDRESS@g" docs/*.md
+sed -i "" -e "s@object at 0x[a-zA-z0-9]*@object at ADDRESS@g" docs/*/*.md
+sed -i "" -e "s@object at 0x[a-zA-z0-9]*@object at ADDRESS@g" docs/*/*/*.md
+
+sed -i "" -e "s@function Int at 0x[a-zA-z0-9]*@function Int at ADDRESS@g" docs/*.md
+sed -i "" -e "s@function Int at 0x[a-zA-z0-9]*@function Int at ADDRESS@g" docs/*/*.md
+sed -i "" -e "s@function Int at 0x[a-zA-z0-9]*@function Int at ADDRESS@g" docs/*/*/*.md
+
+# FIXME: remove this once the PR has been merged once
+sed -i "" -e "s@https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt@https://github.com/zama-ai/concrete/blob/main/LICENSE.txt@g" ./docs/dev/api/concrete.lang.dialects.md ./docs/dev/api/concrete.compiler.md ./docs/dev/api/concrete.lang.md
+
+# Was there changes?
+if diff -r docs docs-copy; then
+    echo ""
+else
+    echo "There is a difference in the docs, please commit the changes"
+    exit -1
+fi
+
+# If there were changes, the previous command will stop, thanks to set -e
+rm -rf docs-copy
+
+echo "Successful end"
+
diff --git a/compilers/concrete-compiler/compiler/include/boost/outcome.h b/compilers/concrete-compiler/compiler/include/boost/outcome.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_BOOST_OUTCOME_H

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Analysis/TypeInferenceAnalysis.h b/compilers/concrete-compiler/compiler/include/concretelang/Analysis/TypeInferenceAnalysis.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 // Infrastructure for type inference

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Analysis/Utils.h b/compilers/concrete-compiler/compiler/include/concretelang/Analysis/Utils.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_ANALYSIS_UTILS_H

diff --git a/...ilers/concrete-compiler/compiler/include/concretelang/Bindings/Python/CompilerAPIModule.h b/...ilers/concrete-compiler/compiler/include/concretelang/Bindings/Python/CompilerAPIModule.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_BINDINGS_PYTHON_COMPILER_API_MODULE_H

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Bindings/Python/DialectModules.h b/compilers/concrete-compiler/compiler/include/concretelang/Bindings/Python/DialectModules.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_BINDINGS_PYTHON_DIALECTMODULES_H

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/CAPI/Wrappers.h b/compilers/concrete-compiler/compiler/include/concretelang/CAPI/Wrappers.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_CAPI_WRAPPERS_H

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/ClientLib/ClientLib.h b/compilers/concrete-compiler/compiler/include/concretelang/ClientLib/ClientLib.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_CLIENTLIB_REFACTORED_H

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Common/CRT.h b/compilers/concrete-compiler/compiler/include/concretelang/Common/CRT.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_COMMON_CRT_H_

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Common/Compat.h b/compilers/concrete-compiler/compiler/include/concretelang/Common/Compat.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 //
 // NOTE:

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Common/Csprng.h b/compilers/concrete-compiler/compiler/include/concretelang/Common/Csprng.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_COMMON_CSPRNG_H

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Common/Error.h b/compilers/concrete-compiler/compiler/include/concretelang/Common/Error.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 #ifndef CONCRETELANG_COMMON_ERROR_H
 #define CONCRETELANG_COMMON_ERROR_H

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Common/Keys.h b/compilers/concrete-compiler/compiler/include/concretelang/Common/Keys.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_COMMON_KEYS_H

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Common/Keysets.h b/compilers/concrete-compiler/compiler/include/concretelang/Common/Keysets.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_COMMON_KEYSETS_H

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Common/Protocol.h b/compilers/concrete-compiler/compiler/include/concretelang/Common/Protocol.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_COMMON_PROTOCOL_H

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Common/Transformers.h b/compilers/concrete-compiler/compiler/include/concretelang/Common/Transformers.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_COMMON_TRANSFORMERS_H

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Common/Values.h b/compilers/concrete-compiler/compiler/include/concretelang/Common/Values.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_COMMON_VALUES_H

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Conversion/ConcreteToCAPI/Pass.h b/compilers/concrete-compiler/compiler/include/concretelang/Conversion/ConcreteToCAPI/Pass.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef ZAMALANG_CONVERSION_CONCRETETOCAPI_PASS_H_

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Conversion/ExtractSDFGOps/Pass.h b/compilers/concrete-compiler/compiler/include/concretelang/Conversion/ExtractSDFGOps/Pass.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_CONVERSION_EXTRACTSDFGOPS_PASS_H_

diff --git a/...rs/concrete-compiler/compiler/include/concretelang/Conversion/FHETensorOpsToLinalg/Pass.h b/...rs/concrete-compiler/compiler/include/concretelang/Conversion/FHETensorOpsToLinalg/Pass.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_CONVERSION_FHETENSOROPSTOLINALG_PASS_H_

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Conversion/FHEToTFHECrt/Pass.h b/compilers/concrete-compiler/compiler/include/concretelang/Conversion/FHEToTFHECrt/Pass.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_CONVERSION_FHETOTFHECRT_PASS_H_

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Conversion/FHEToTFHEScalar/Pass.h b/compilers/concrete-compiler/compiler/include/concretelang/Conversion/FHEToTFHEScalar/Pass.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_CONVERSION_FHETOTFHESCALAR_PASS_H_

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Conversion/LinalgExtras/Passes.h b/compilers/concrete-compiler/compiler/include/concretelang/Conversion/LinalgExtras/Passes.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef ZAMALANG_CONVERSION_LINALGEXTRAS_PASS_H_

diff --git a/...rete-compiler/compiler/include/concretelang/Conversion/MLIRLowerableDialectsToLLVM/Pass.h b/...rete-compiler/compiler/include/concretelang/Conversion/MLIRLowerableDialectsToLLVM/Pass.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_CONVERSION_MLIRLOWERABLEDIALECTSTOLLVM_PASS_H_

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Conversion/Passes.h b/compilers/concrete-compiler/compiler/include/concretelang/Conversion/Passes.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_TRANSFORMS_PASSES_H

diff --git a/...rs/concrete-compiler/compiler/include/concretelang/Conversion/SDFGToStreamEmulator/Pass.h b/...rs/concrete-compiler/compiler/include/concretelang/Conversion/SDFGToStreamEmulator/Pass.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef ZAMALANG_CONVERSION_SDFGTOSTREAMEMULATOR_PASS_H_

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Conversion/SimulateTFHE/Pass.h b/compilers/concrete-compiler/compiler/include/concretelang/Conversion/SimulateTFHE/Pass.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_CONVERSION_SIMULATE_TFHE_PASS_H_

diff --git a/...ncrete-compiler/compiler/include/concretelang/Conversion/TFHEGlobalParametrization/Pass.h b/...ncrete-compiler/compiler/include/concretelang/Conversion/TFHEGlobalParametrization/Pass.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_CONVERSION_TFHEGLOBALPARAMETRIZATION_PASS_H_

diff --git a/...rs/concrete-compiler/compiler/include/concretelang/Conversion/TFHEKeyNormalization/Pass.h b/...rs/concrete-compiler/compiler/include/concretelang/Conversion/TFHEKeyNormalization/Pass.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_CONVERSION_TFHEKEYNORMALIZATION_PASS_H_

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Conversion/TFHEToConcrete/Pass.h b/compilers/concrete-compiler/compiler/include/concretelang/Conversion/TFHEToConcrete/Pass.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_CONVERSION_TFHETOCONCRETE_PASS_H_

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Conversion/Tools.h b/compilers/concrete-compiler/compiler/include/concretelang/Conversion/Tools.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #include "mlir/IR/PatternMatch.h"

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Conversion/TracingToCAPI/Pass.h b/compilers/concrete-compiler/compiler/include/concretelang/Conversion/TracingToCAPI/Pass.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef ZAMALANG_CONVERSION_TRACINGTOCAPI_PASS_H_

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Conversion/Utils/Dialects/SCF.h b/compilers/concrete-compiler/compiler/include/concretelang/Conversion/Utils/Dialects/SCF.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_CONVERSION_UTILS_DIALECTS_SCF_H_

diff --git a/compilers/concrete-compiler/compiler/include/concretelang/Conversion/Utils/Dialects/Tensor.h b/compilers/concrete-compiler/compiler/include/concretelang/Conversion/Utils/Dialects/Tensor.h
@@ -1,6 +1,6 @@
 // Part of the Concrete Compiler Project, under the BSD3 License with Zama
 // Exceptions. See
-// https://github.com/zama-ai/concrete-compiler-internal/blob/main/LICENSE.txt
+// https://github.com/zama-ai/concrete/blob/main/LICENSE.txt
 // for license information.
 
 #ifndef CONCRETELANG_CONVERSION_UTILS_DIALECTS_TENSOR_H_