[Spot] UBA-generation of ltl2tgba

Alexandre Duret-Lutz adl at lrde.epita.fr
Tue Feb 12 13:44:16 CET 2019


On Sat, Feb 2, 2019 at 9:07 AM Simon Jantsch
<simon.jantsch at tu-dresden.de> wrote:
>
> Hello,
>
> I have noticed two types of errors that seem to occur when telling ltl2tgba to output unambiguous B├╝chi automata (UBA).

Hi Simon,

Thank you for the report.  Those bugs will be fixed in the next
release.  The patches are
https://gitlab.lrde.epita.fr/spot/spot/compare/ea9d894d016b147e7de15b42e87cfe562f3991b3...699f21b9aff29fb0f05d2cb2f6300ea08c0699bb

Unfortunately there is currently a g++-8 bug that is preventing us
from doing new releases :-(

--
Alexandre Duret-Lutz


More information about the Spot mailing list