root: ./docs

redirects:
  getting-started/fhe\_basics: core-features/fhe\_basics.md
  getting-started/installing: get-started/installing.md
  getting-started/quick\_start: get-started/quick\_start.md
  getting-started/compatibility: get-started/compatibility.md
  getting-started/terminology\_and\_structure: get-started/terminology.md
  tutorial/decorator: compilation/decorator.md
  tutorial/progressbar: execution-analysis/progressbar.md
  tutorial/formatting: execution-analysis/formatting\_and\_drawing.md
  tutorial/tagging: core-features/tagging.md
  tutorial/extensions: core-features/extensions.md
  tutorial/comparisons: core-features/comparisons.md
  tutorial/minmax: core-features/minmax.md
  tutorial/bitwise: core-features/bitwise.md
  tutorial/table\_lookups: core-features/table\_lookups.md
  tutorial/bit\_extraction: core-features/bit\_extraction.md
  tutorial/truncating: core-features/truncating.md
  tutorial/rounding: core-features/rounding.md
  tutorial/floating\_points: core-features/floating\_points.md
  tutorial/multi\_precision: compilation/multi\_precision.md
  tutorial/multi\_parameters: compilation/multi\_parameters.md
  tutorial/simulation: execution-analysis/simulation.md
  tutorial/direct\_circuits: compilation/direct\_circuits.md
  tutorial/statistics: compilation/statistics.md
  tutorial/workarounds: core-features/workarounds.md
  tutorial/composition: compilation/composition.md
  application-tutorial/key\_value\_database: tutorials/see-all-tutorials.md
  application-tutorial/sha256: tutorials/see-all-tutorials.md
  application-tutorial/game\_of\_life: tutorials/see-all-tutorials.md
  howto/configure: guides/configure.md
  howto/manage\_keys: guides/manage\_keys.md
  howto/deploy: guides/deploy.md
  howto/reuse\_arguments: compilation/reuse\_arguments.md
  howto/debug: execution-analysis/debug.md
  howto/call\_from\_other\_language: explanations/call\_from\_other\_language.md
  dev/fusing: explanations/fusing.md
  dev/backends: explanations/backends/README.md
  dev/backends/new\_backend: explanations/backends/new\_backend.md
  dev/compilation: explanations/compiler\_workflow.md
  dev/compilation/optimizer: explanations/optimizer.md
  dev/compilation/dialects: explanations/dialects.md
  dev/compilation/FHELinalgDialect: explanations/FHELinalgDialect.md
  dev/compilation/FHEDialect: explanations/FHEDialect.md
  dev/compilation/TFHEDialect: explanations/TFHEDialect.md
  dev/compilation/ConcreteDialect: explanations/ConcreteDialect.md
  dev/compilation/TracingDialect: explanations/TracingDialect.md
  dev/compilation/RTDialect: explanations/RTDialect.md
  dev/compilation/SDFGDialect: explanations/SDFGDialect.md
  dev/security/security\_curves: explanations/security.md
  explanations/security\_curves: explanations/security.md
  dev/setup/layout: explanations/layout.md
