Krystine Sherwin 8e07030fee docs: update auxiliary programs ...

Now includes usage output, (hopefully) generated by the tool during the docs build process so it will always be up to date.
Included in makefile as `docs/usage` target.
Also some updates/additions to the description text, esp `yosys-filterlib` and `yosys-smtbmc`.

2023-11-01 10:15:58 +13:00

..

APPNOTE_010_Verilog_to_BLIF.rst

Replace 010 and 012 with pdf

2023-10-30 10:34:30 +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: update auxiliary programs

2023-11-01 10:15:58 +13:00

auxprogs.rst

docs: update auxiliary programs

2023-11-01 10:15:58 +13:00

primer.rst

Moving images and static folders

2023-10-10 10:12:50 +13:00