get rid of the TGBA parser
The parser in src/tgbaparse/
was implemented very early in the history of Spot as a quick way to input TGBA to perform tests. Its implementation and syntax is gross.
Now that Spot can read TGBA as HOA files, there is no reason to keep this parser around. We should update all our tests to read and write HOA instead, and get rid of the parser.
Unfortunately there is one public use of the old format: ltl3ba has an option to output its intermediate TGBA in this format, and we use it in the oneline ltl2tgba.html
interface. We should ask the ltl3ba
authors to upgrade to HOA. I know they plan to do it for ltl3dra
, and patches exists for ltl2ba
to output HOA, so they should not have a problem updating ltl3ba
.