2022-08-29 16:24:29 +02:00
|
|
|
site_name: ovni
|
|
|
|
|
docs_dir: doc
|
2022-08-29 17:10:38 +02:00
|
|
|
extra_css: [extra.css]
|
2022-08-31 11:31:55 +02:00
|
|
|
theme:
|
|
|
|
|
name: readthedocs
|
|
|
|
|
sticky_navigation: false
|
2023-12-21 14:50:21 +01:00
|
|
|
highlightjs: true
|
|
|
|
|
hljs_languages:
|
|
|
|
|
- abnf
|
2022-08-31 11:31:55 +02:00
|
|
|
extra_javascript:
|
|
|
|
|
- https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML
|
2022-08-29 16:24:29 +02:00
|
|
|
markdown_extensions:
|
|
|
|
|
- admonition
|
2022-08-31 11:31:55 +02:00
|
|
|
- attr_list
|
|
|
|
|
- def_list
|
|
|
|
|
- mdx_math:
|
|
|
|
|
use_gitlab_delimiters: true
|
|
|
|
|
enable_dollar_delimiter: true
|
|
|
|
|
add_preview: true
|
2022-08-29 16:24:29 +02:00
|
|
|
- toc:
|
|
|
|
|
permalink: "#"
|
|
|
|
|
separator: "_"
|
|
|
|
|
nav:
|
|
|
|
|
- index.md
|
2023-02-27 11:23:00 +01:00
|
|
|
- 'User guide':
|
|
|
|
|
- user/installation.md
|
2024-09-13 16:03:15 +02:00
|
|
|
- 'Concepts':
|
|
|
|
|
- user/concepts/part-model.md
|
|
|
|
|
- user/concepts/trace-model.md
|
2023-02-27 11:23:00 +01:00
|
|
|
- 'Runtime':
|
2024-09-13 16:03:15 +02:00
|
|
|
- user/runtime/index.md
|
2024-09-17 08:47:11 +02:00
|
|
|
- user/runtime/env.md
|
2024-06-20 11:08:29 +02:00
|
|
|
- user/runtime/mark.md
|
2023-02-27 11:23:00 +01:00
|
|
|
- user/runtime/distributed.md
|
|
|
|
|
- user/runtime/kernel.md
|
|
|
|
|
- user/runtime/trace_spec.md
|
|
|
|
|
- 'Emulation':
|
|
|
|
|
- user/emulation/index.md
|
|
|
|
|
- user/emulation/ovni.md
|
|
|
|
|
- user/emulation/nosv.md
|
|
|
|
|
- user/emulation/nanos6.md
|
2023-08-18 12:33:01 +02:00
|
|
|
- user/emulation/tampi.md
|
2023-08-31 10:38:24 +02:00
|
|
|
- user/emulation/mpi.md
|
2024-01-16 12:21:16 +01:00
|
|
|
- user/emulation/openmp.md
|
2023-02-27 11:23:00 +01:00
|
|
|
- user/emulation/events.md
|
2024-03-14 13:45:59 +01:00
|
|
|
- user/emulation/versions.md
|
2023-11-13 12:54:15 +01:00
|
|
|
- CHANGELOG.md
|
2022-08-31 11:31:55 +02:00
|
|
|
- 'Developer guide':
|
2023-02-14 16:38:43 +01:00
|
|
|
- dev/index.md
|
2023-12-21 14:50:21 +01:00
|
|
|
- dev/events.md
|
2023-02-14 16:38:43 +01:00
|
|
|
- dev/channels.md
|
|
|
|
|
- dev/patchbay.md
|
|
|
|
|
- dev/mux.md
|
|
|
|
|
- dev/paraver.md
|
|
|
|
|
- dev/model.md
|
|
|
|
|
- dev/extend.md
|
