This repository has been archived by the owner on Jan 8, 2025. It is now read-only.
forked from ml4ai/skema
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathmkdocs.yml
103 lines (92 loc) · 3.36 KB
/
mkdocs.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
site_name: skema
site_url: https://ml4ai.github.io/skema
site_description: SKEMA project documentation.
site_author: University of Arizona & Lum AI
repo_url: https://github.com/ml4ai/skema/
edit_uri: "blob/main/docs/"
theme:
name: readthedocs
highlightjs: true
hljs_style: github
# list additional languages here
hljs_languages:
- yaml
analytics:
gtag: null
shortcuts:
help: 191 # ?
next: 78 # n
previous: 80 # p
search: 83 # s
nav_style: dark
locale: en
nav:
# NOTE: all relative to docs/
- Home: index.md
- Software: software.md
- Releases: changes.md
- About:
#- Release Notes: about/release-notes.md
- Team: team.md
# - Contributing: contributing.md
- License: "license.md"
- Examples: examples.md
- Developing:
- Configuring your development environment: "dev/env.md"
- Configuring <code>img2mml</code>: "dev/eqn2mml.md"
- Building documentation: "dev/docs.md"
- Building docker images: "dev/docker.md"
- Publishing an incremental release: "dev/creating-an-incremental-release.md"
- Adding a new model: "dev/adding_new_model.md"
- Adding a new tree-sitter frontend: "dev/adding_new_tree_sitter_frontend.md"
- Adding dependency generation for new language: "dev/adding_dependency_generation.md"
- Generating code2fn model coverage reports: "dev/generating_code2fn_model_coverage.md"
- Using code ingestion frontends: "dev/using_code_ingestion_frontends.md"
- Using tree-sitter preprocessor: "dev/using_tree_sitter_preprocessor.md"
- CAST Front-end generation: "dev/cast_frontend.md"
- Coverage:
- Code2fn coverage reports: "coverage/code2fn_coverage/report.html"
- TA1 Integration Dashboard: "https://integration-dashboard.terarium.ai/TA1"
- Test coverage reports: "coverage/index.md"
#- Getting Started: getting-started.md
# - User Guide:
# - Installation: install.md
# - Testing: test.md
- API (Python):
- "<code>skema.gromet</code>": api/python/skema/gromet/index.html
- "<code>skema.img2mml</code>": api/python/skema/img2mml/index.html
- "<code>skema.isa</code>": api/python/skema/isa/index.html
- "<code>skema.skema_py</code>": api/python/skema/skema_py/index.html
# - "<code>skema.metal.mention_linking</code>": api/python/skema/metal/mention_linking/index.html
# - "<code>skema.utils</code>": api/python/skema/utils/index.html
- API (Rust):
- "<code>skema.rust</code>": api/rust/help.html
- API (Scala):
- "<code>skema.scala</code>": api/scala/index.html
#api/python/skema/gromet/index.html
extra_css:
- css/extra.css
# footnotes
# pymdownx.emoji
# pymdownx.caret
# pymdownx.mark
# pymdownx.tilde
# pymdownx.details
# pymdownx.superfences
# pymdownx.tabbed
markdown_extensions:
- toc:
permalink:
- admonition
- attr_list
- def_list
copyright: Copyright © 2023 University of Arizona & Lum AI.
plugins:
- search
# # see https://github.com/mercari/mkdocs-git-snippet
- git-snippet
# see https://github.com/timvink/mkdocs-git-revision-date-localized-plugin
- git-revision-date-localized
# see https://github.com/timvink/mkdocs-git-authors-plugin
- git-authors
# TODO: add https://github.com/fralau/mkdocs-mermaid2-plugin