-
Notifications
You must be signed in to change notification settings - Fork 0
/
mkdocs.yml
158 lines (147 loc) · 4.5 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
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
# Author: Misaki-Wang
# Project information
site_name: Chronicles of Misaki's Dream
# site_name: 澪梦记
site_url: https://misaki-wang.github.io/
site_author: Misaki
# Repository
repo_name: Misaki's Blog
repo_url: https://github.com/misaki-Wang/misaki-Wang.github.io
# Copyright
copyright: Copyright © 2023 Misaki
# Configuration
theme:
name: material
language: en
features:
- announce.dismiss
- content.action.edit
- content.action.view
- content.code.annotate
- content.code.copy
- content.tabs.link
- content.tooltips
- header.autohide
- navigation.expand
- navigation.indexes
- navigation.instant
- navigation.prune
- navigation.sections
- navigation.tabs
- navigation.tabs.sticky
- navigation.top
- navigation.footer
- navigation.tracking
- search.highlight
- search.share
- search.suggest
- toc.follow
# - toc.integrate
palette:
- scheme: default
primary: white
# accent: indigo
toggle:
icon: material/theme-light-dark
name: Switch to dark mode
- scheme: slate
primary: grey
# accent: indigo
toggle:
icon: material/theme-light-dark
name: Switch to light mode
font:
text: Noto Sans SC
code: Fira Code
favicon: assets/images/misaki-logo.png
logo: assets/images/misaki-logo.png
icon:
logo: logo
repo: fontawesome/brands/github
edit: material/file-edit-outline
# extra:
# social:
# - icon: fontawesome/brands/github
# link: https://github.com/krahets
# - icon: fontawesome/brands/twitter
# link: https://twitter.com/krahets
# - icon: fontawesome/solid/code
# link: https://leetcode.cn/u/jyd/
# generator: false
# status:
# new: 最近添加
# Plugins
plugins:
- search
# Extensions
markdown_extensions:
- abbr # Abbreviations
- admonition # Admonition¶
- attr_list # Attribute Lists
- def_list # Definition Lists
- footnotes # Footnotes
- md_in_html # Markdown in HTML¶
# - markdown.markdown(some_text, extensions=['sane_lists'])
- toc:
permalink: true
# MathJax
- pymdownx.arithmatex:
generic: true
- pymdownx.betterem:
smart_enable: all
- pymdownx.caret
- pymdownx.details
- pymdownx.tilde
- pymdownx.emoji:
emoji_index: !!python/name:materialx.emoji.twemoji
emoji_generator: !!python/name:materialx.emoji.to_svg
- pymdownx.highlight:
anchor_linenums: true
- pymdownx.inlinehilite
- pymdownx.snippets
- pymdownx.superfences
- pymdownx.keys
- pymdownx.magiclink:
repo_url_shorthand: true
user: squidfunk
repo: mkdocs-material
- pymdownx.mark
- pymdownx.smartsymbols
- pymdownx.tabbed:
alternate_style: true
- pymdownx.tasklist:
custom_checkbox: true
clickable_checkbox: true
extra_javascript:
- javascripts/mathjax.js
- https://polyfill.io/v3/polyfill.min.js?features=es6
- https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js
- javascripts/katex.js
- https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.16.7/katex.min.js
- https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.16.7/contrib/auto-render.min.js
extra_css:
# - stylesheets/rainbow.css
- stylesheets/extra.css
- https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.16.7/katex.min.css
# Page tree
nav:
- Home:
- index.md
- Agent:
- "Agent/World Models.md"
# - Computer Science:
# - Missing Semester: Computer-Science/Missing-semester.md
# - Git: Computer-Science/git.md
# - Static Analysis:
# - Intro: Static-Analysis/1-intro.md
# - Intermediate Representation(IR): Static-Analysis/2-Intermediate Representation.md
# - Data Flow Analysis-Applications: Static-Analysis/3-Data Flow Analysis - Applications.md
# - Data Flow Analysis-Foundations: Static-Analysis/4-Data Flow Analysis - Foundations.md
# - Interprocedural Analysis: Static-Analysis/5-Interprocedural Analysis.md
# - Pointer Analysis-Intro: Static-Analysis/6-Pointer Analysis - intro.md
# - Pointer Analysis-Foundations: Static-Analysis/7-Pointer Analysis - Foundations.md
# - Pointer Analysis-Context Sensitivity: Static-Analysis/8-Pointer Analysis - Context Sensitivity.md
# - Static Analysis for Security: Static-Analysis/9-Static Analysis for Security.md
# - Datalog-Based Program Analysis: Static-Analysis/10-Datalog-Based Program Analysis.md
# - CFL-Reachability and IFDS: Static-Analysis/11-CFL-Reachability and IFDS.md
# - Soundness and Soundiness: Static-Analysis/12-Soundness and Soundiness.md