search

informalsystems / themis-tracer

A tool for managing complex contexts for developing critical systems
Apache License 2.0
4 stars 0 forks source link

Generate a static site representing context #86

Closed shonfeder closed 3 years ago

shonfeder commented 3 years ago

Closes #22

shonfeder commented 3 years ago

The site generation here is very minimal, and consists of two parts:

  1. A dot graph.
  2. A nested, foldable tree of all the logical units, representing their dependencies.

There are dozens of ways to improve and extend the site, but it's not yet clear which, if any, will bring value, so I'm opting to close this issue with a rough and minimal implementation to allow quicker iteration once we've a clearer idea of what additional features and functionality will bring added value.