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

[Nadim Kobeissi]

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:

> BREAKING: Rename HMACVERIF to ASSERT
> 
> 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:
https://source.symbolic.software/verifpal/verifpal/commit/8cbf845c7741d688d5eb2be7c4295590de06e469

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