Re: [tlaplus] Best current way of visualizing a state trace?

[Sergey Bronnikov <s@xxxxxxxx>]

Hello,

08.11.2023, 16:45, "J.D. Meadows" <tr1pl3.d3v@xxxxxxxxx>:

I'm using the Toolbox, which has a trace explorer sidebar that can be maximized, but the font is too large and some of the sequences are too long to be read comfortably.

Are there any recent advances in visualization/animation? What is considered the best current approach?

 

I believe the best visualization of traces is made by shiviz tool [1].

 

1. https://bestchai.bitbucket.io/shiviz/

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/994171699451780%40mail.yandex.ru.