mkdocs.yml

site_name: CodA Docs (v0.2.0dev)
site_url: https://m-zakeri.github.io/CodA
repo_url: https://github.com/m-zakeri/CodA
site_description: Source code analysis and synthesis toolkit
site_author: Morteza Zakeri
copyright: © 2020-2022 CodA project

theme:
  name: material
  palette:
    - scheme: default
      primary: teal
      accent: teal
      toggle:
        icon: material/toggle-switch-off-outline
        name: Dark mode
    - scheme: slate
      primary: teal
      accent: teal
      toggle:
        icon: material/toggle-switch
        name: Light mode

plugins:
  - search
  - mkdocstrings:
      handlers:
        python:
          setup_commands:
            - import sys
            - import os
          selection:
            members: True

nav:
    - Home: index.md
    - Analysis modules:
        - Program control flow graph extractor: analysis_modules/cfg/cfg_extractor.md
        - Program prime paths extractor: analysis_modules/paths/prime_path_extractor.md
    - Tutorials:
        - ANTLR basics: tutorials/antlr_basics.md
        - Program instrumentation: tutorials/program_instrumentation.md
        - Source code metrics computation: tutorials/metrics_computation.md
    - Development proposals:
        - Core program analysis development: proposals/core_program_analysis_development.md
    - Benchmarks: benchmarks.md
    - Issue tracker: 'https://github.com/m-zakeri/CodA/issues'