spot-web-app issueshttps://gitlab.lre.epita.fr/spot/spot-web-app/-/issues2020-11-12T18:46:17+01:00https://gitlab.lre.epita.fr/spot/spot-web-app/-/issues/3help text2020-11-12T18:46:17+01:00Alexandre Duret-Lutzhelp textWe need some help text, with:
- explanations of the LTL and PSL syntaxes,
- explanations of how to read the automata,
- pointers to the HOA and neverclaim formats,
- instructions for reporting bugs.
I suggest to use a [drawer](https://...We need some help text, with:
- explanations of the LTL and PSL syntaxes,
- explanations of how to read the automata,
- pointers to the HOA and neverclaim formats,
- instructions for reporting bugs.
I suggest to use a [drawer](https://material-ui.com/demos/drawers/) to display the help text in a side sheet. I'd leave the help button (that opens the drawer) on the main application.https://gitlab.lre.epita.fr/spot/spot-web-app/-/issues/1complete monitors can be Büchi2018-10-02T11:33:33+02:00Alexandre Duret-Lutzcomplete monitors can be BüchiThe acceptance conditions of monitors is not displayed because it is usually `true`. However when the *complete* option is selected, the output is an automaton with Büchi acceptance. Not showing the acceptance condition is confusing bec...The acceptance conditions of monitors is not displayed because it is usually `true`. However when the *complete* option is selected, the output is an automaton with Büchi acceptance. Not showing the acceptance condition is confusing because in the first case all states (with single circles) are accepting, while in the second case we use double circles.