[Verifpal] Verifpal 0.6.8

[Nadim Kobeissi]

Dear Mike,

> Now 0.6.8 cant understand "A -> B: e" anymore.

Thankfully, that’s not the issue here — it was simply that the very last analysis in the queue was skipped in small models. This is now fixed in development and will be pushed as part of the next update.

Nadim Kobeissi
Symbolic Software • https://symbolic.software

> On Sep 17, 2019, at 9:09 PM, Mike <tankf33der at disroot.org> wrote:
> 
> hi all,
> 
> 
>> Verifpal 0.6.8 is now available.
> 
> FYI, I've found regression like behavior.
> As you can see in attached file messages and comments say how it *was* in older versions.
> Now 0.6.8 cant understand "A -> B: e" anymore.
> 
> (mike)
> <c.vp>