63 Commits

Author	SHA1	Message	Date
Krystine Sherwin	98d0e749d6	Merge updates from 'master' into krys/docs	2023-09-19 11:28:36 +12:00
Krystine Sherwin	93c9bf2f5d	docs: Updating todos	2023-09-19 11:21:15 +12:00
Krystine Sherwin	70c47690b3	Updating todo text and assorted fixes ... Fix #3905 by removing emoji (and move the comment into the if block for less ambiguity). Adds `latexmk` to README. Note that latexpdf doesn't seem to like `cmd:ref` links, possibly because the reference location is inside a latex comment block, but I was under the impression that there was a reference location in there previously which was working fine. May be related to how the `cmd:def` block expands (or doesn't as the case may be).	2023-08-28 10:09:43 +12:00
Krystine Sherwin	aad8a3b959	Rearrange command ordering and model checking ... Now under the yosys flows section.	2023-08-28 10:02:06 +12:00
Krystine Sherwin	e2c0f8fc50	Some tidy up	2023-08-14 12:13:29 +12:00
Krystine Sherwin	685da6a2e5	Converting a number of inline commands to refs ... Also reflowing text for line width. Maybe look into supporting commands with options?	2023-08-08 12:45:47 +12:00
Krystine Sherwin	d8b8880ad6	Convert todo comments to directives ... Could be left in for final version, but my current thinking is not?	2023-08-08 10:06:19 +12:00
Krystine Sherwin	8ade2182b0	Move (most of) ExOth and ExAdv slides	2023-08-07 12:58:40 +12:00
Krystine Sherwin	4b40372446	Tidy/reflow some things	2023-08-03 10:37:43 +12:00
Krystine Sherwin	9a9aa2c45a	Finished presentation intro ... Also some other tidy up.	2023-08-03 09:20:30 +12:00
Krystine Sherwin	20c2708383	Move presentation intro example ... Rework images makefile a bit to get it to import and build from resources folder(s). Currently requires running twice from a clean build due to the way it finds `.dot` files to convert.	2023-08-03 09:20:29 +12:00
Krystine Sherwin	cd6e63e1a9	Moved presentation_prog	2023-08-03 09:20:29 +12:00
Krystine Sherwin	045c04096e	Reorganising documentation ... Also changing to furo theme.	2023-08-03 09:20:29 +12:00