7 Commits

Author	SHA1	Message	Date
jguer	c86c460816	fix typos	2022-09-17 14:45:07 +02:00
jguer	4a73dfb0ca	topo sorted map	2022-09-09 17:38:48 +02:00
jguer	d53505be37	allow customizing colors and embedding extra info	2022-09-07 01:03:29 +02:00
jguer	f7286b25ae	add local graph util	2022-09-06 23:25:44 +02:00
jguer	650809eba1	wip	2022-09-04 23:45:40 +02:00
jguer	a4565b367b	wip	2022-08-23 18:33:40 +02:00
jguer	b054828aa8	wip	2022-08-22 23:28:53 +02:00