17 Nov
2011
17 Nov
'11
7:10 p.m.
Hi Nikos, On Thu, Oct 20, 2011 at 6:20 PM, Alexandre Duret-Lutz <adl@lrde.epita.fr> wrote:
On 18/10/11 15:38, Nikos Gorogiannis wrote: Yet another thing came up: even when I implement the method transition_annotation, the dotty output seems to ignore that. [...] I would call this a bug.
I've committed this: http://git.lrde.epita.fr/?p=spot.git;a=commitdiff;h=3010d7051baaaa96f278e954... Because of a recent fix in the neverclaim output, I'd like to try to make a release before the end of the month, so if you have seen anything else that need fixing please let me know. -- Alexandre Duret-Lutz