12 Feb
2019
12 Feb
'19
1:44 p.m.
On Sat, Feb 2, 2019 at 9:07 AM Simon Jantsch <simon.jantsch@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/ea9d894d016b147e7de15b42e87cf... Unfortunately there is currently a g++-8 bug that is preventing us from doing new releases :-( -- Alexandre Duret-Lutz