Krystine Sherwin 3db588a972 Docs: More bugpoint bullets ... More info for creating GitHub issues and the different sections. Discuss additional details that can be included as comments on the issue. Also mention Gists for large files (preferable to downloading a .txt). Add a warning about external plugins/tools. Also add a note to `load_design.rst` about `Frontend`s and `-f` command line option.		2025-05-23 10:52:53 +12:00
..
data_flow_tracking.rst	reflow dft docs to 80 cols	2025-04-15 09:57:14 +01:00
index.rst	add dft_tag documentation	2025-04-15 09:57:14 +01:00
interactive_investigation.rst	Docs: Tidying	2025-05-23 10:51:46 +12:00
load_design.rst	Docs: More bugpoint bullets	2025-05-23 10:52:53 +12:00
model_checking.rst	Docs: Reflow line length	2024-10-15 07:23:45 +13:00
selections.rst	Docs: Reflow line length	2024-10-15 07:23:45 +13:00