George Rennie 20ee439df9 Merge pull request #313 from gipsyh/rIC3 ... Support rIC3 model checker as backend		2025-03-14 15:13:06 +01:00
..
media	Add section on sby to newstart	2022-06-09 14:29:21 +12:00
autotune.rst	Docs: Use sby lexer	2024-06-10 18:41:15 +12:00
conf.diff	Update docs theme	2021-11-29 16:51:54 +01:00
conf.py	Docs: Use sby lexer	2024-06-10 18:41:15 +12:00
index.rst	Add sphinx-argparse to generate usage	2023-06-13 11:40:28 +12:00
install.rst	Merge pull request #313 from gipsyh/rIC3	2025-03-14 15:13:06 +01:00
license.rst	Title case for license.rst	2022-05-10 11:40:17 +12:00
quickstart.rst	Merge pull request #278 from YosysHQ/krys/docs_verific	2025-03-03 15:09:36 +00:00
reference.rst	Support rIC3 as backend	2024-12-16 11:02:45 +00:00
requirements.txt	Use furo-ys	2024-05-14 12:54:30 +12:00
usage.rst	docs: Make sphinx-argparse work independently of sphinx's cwd	2023-06-19 11:39:37 +02:00
verific.rst	Merge pull request #264 from YosysHQ/krys/vhd_example	2025-03-03 15:20:59 +00:00
verilog.rst	Add note on docs to clarify verific support	2024-05-14 12:25:29 +12:00