[Verifpal] examples are broken
nadim at symbolic.software
Sun Sep 8 00:29:43 CEST 2019
Nevermind, looks like I had forgotten to commit some changes -- pushing now.
Symbolic Software • https://symbolic.software
Sent from office
On Sun, Sep 8, 2019 at 12:23 AM Nadim Kobeissi <nadim at symbolic.software>
> Hi Mike,
> Could you please describe how these examples are "broken"? They seem fine
> to me.
> Also, please don't send low-information/low-quality emails like that to
> the list -- I'm placing you on the moderation queue.
> Nadim Kobeissi
> Symbolic Software • https://symbolic.software
> Sent from office
> On Sun, Sep 8, 2019 at 12:16 AM Mike via Verifpal
> <verifpal at lists.symbolic.software> wrote:
>> By today's commits examples are broken:
>> Verifpal mailing list
>> Verifpal at lists.symbolic.software
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Verifpal