After #2, the library logic and parser allow to build the syntax tree of a formula from a textual description.
The grammar tries to comply with A Standard Grammar for Temporal Logics on Finite Traces, but the PR does not include operators like "weak until" W and "strong release" M.
The goal of this issue is to double-check that the full syntax is supported by our parser.
After #2, the library
logicandparserallow to build the syntax tree of a formula from a textual description.The grammar tries to comply with A Standard Grammar for Temporal Logics on Finite Traces, but the PR does not include operators like "weak until"
Wand "strong release"M.The goal of this issue is to double-check that the full syntax is supported by our parser.