[Verifpal] Renaming HMACVERIF to ASSERT (was: VerifPal 0.5)

Nadim Kobeissi nadim at symbolic.software
Mon Sep 9 15:48:56 CEST 2019

Dear Michiel,

Yes, I’ve been itching to do this all weekend.

Don’t worry, I’m aware of the implications on the User Manual. If you read the git commit comments, you’ll see the following text:

> This will require an update of the Verifpal User Manual and the Visual
> Studio Code Extension, which will be pushed at version release.

While we’re at it:

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

> On Sep 9, 2019, at 3:47 PM, Michiel Leenaars <michiel.ml at nlnet.nl> wrote:
> Hi Nadim,
> that was quick. Just a reminder that the manual has several references as well... 
> Best,
> Michiel

More information about the Verifpal mailing list