search

will62794 / tla-web

Interactive, web-based environment for exploring TLA+ specifications.
MIT License
69 stars 7 forks source link

Add ability to explode/split trace view on a specified constant set #30

Closed will62794 closed 2 months ago

will62794 commented 1 year ago

It is often helpful to view the state variables in a trace by process (e.g. nodes, servers, etc.). Adding the ability to explode/split the trace on an arbitrary constant set could be one approach to this i.e. instead of the viewer displaying a single trace, a separate trace is shown for each process.

will62794 commented 2 months ago

Initial implementation in 7c2ce59.