Krystine Sherwin 95849edbba

Docs: changes from JF ...

`yosys-witness` prereq `click`.
Yosys environment vars & `yosys --help` output.
Removing Ubuntu/macOS version numbers/names.
Hide `troubleshooting` page.

2024-01-23 17:35:06 +13:00

..

APPNOTE_010_Verilog_to_BLIF.rst

docs: more tidying

2023-11-16 09:46:47 +13:00

APPNOTE_012_Verilog_to_BTOR.rst

Replace 010 and 012 with pdf

2023-10-30 10:34:30 +13:00

auxlibs.rst

Docs: auxlibs

2024-01-18 12:14:00 +13:00

auxprogs.rst

Docs: changes from JF

2024-01-23 17:35:06 +13:00

env_vars.rst

Docs: changes from JF

2024-01-23 17:35:06 +13:00

primer.rst

docs: restructuring images directory

2023-11-14 18:54:16 +13:00