You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
danwt
changed the title
Implement functionality to quickly find out the structure of the json in the json trace of a given spec.
Feature: quickly get JSON format for a spec
Jan 19, 2022
Given a TLA+ spec there should be a quick way to learn the structure/format of the JSON that traces of the spec will be given in.
The text was updated successfully, but these errors were encountered: