[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

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