https://github.com/statycc/pymwp
Tip revision: 0f004aa33b5531e935a524969924d231beb15572 authored by Neea Rusch on 08 March 2022, 03:10:52 UTC
changes to eval and choice representation (#78)
changes to eval and choice representation (#78)
Tip revision: 0f004aa
mkdocs.yml
site_name: pymwp
site_description: "Implementation of MWP analysis on C code in Python."
docs_dir: docs
site_dir: pages
repo_url: https://github.com/statycc/pymwp
repo_name: statycc/pymwp
edit_uri: blob/master/docs/
use_directory_urls: true
nav:
- Installation & Use: index.md
- Supported Features: features.md
- Examples: examples.md
- Demo: demo.md
- Modules:
- Analysis: analysis.md
- Choice: choice.md
- Delta Graphs: delta_graphs.md
- File I/O: file_io.md
- Matrix: matrix.md
- Monomial: monomial.md
- Polynomial: polynomial.md
- Relation: relation.md
- Relation List: relation_list.md
- Semiring: semiring.md
- Utilities: utilities.md
- Source Code: https://github.com/statycc/pymwp
- Release History: https://github.com/statycc/pymwp/releases
- License: https://github.com/statycc/pymwp/blob/master/LICENCE.md
theme:
name: material
favicon: ""
features:
- navigation.expand
palette:
scheme: light
primary: blue grey
accent: indigo
font:
text: Inter
code: Source Code Pro
markdown_extensions:
- pymdownx.arithmatex:
generic: true
- pymdownx.highlight:
use_pygments: true
linenums: false
linenums_style: pymdownx.inline
- pymdownx.inlinehilite
- pymdownx.superfences
- pymdownx.snippets
- pymdownx.magiclink
- admonition
plugins:
- search
- include-markdown
- mkdocstrings:
default_handler: python
handlers:
python:
setup_commands:
- import sys
- sys.path.append("pymwp")
selection:
new_path_syntax: yes
filters:
- "!^_"
- "^__init__$"
rendering:
show_root_heading: false
show_source: true
show_category_heading: false
watch:
- pymwp
extra_css:
- assets/styles.css
extra_javascript:
- //cdnjs.cloudflare.com/ajax/libs/highlight.js/10.7.2/highlight.min.js
- https://polyfill.io/v3/polyfill.min.js?features=es6
- https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js
- assets/config.js