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

[Nadim Kobeissi]

https://source.symbolic.software/verifpal/verifpal/commit/33fbafe27fa0794ab89f3b3981491690ba0315c8

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

> On Sep 9, 2019, at 3:34 PM, Michiel Leenaars via Verifpal <verifpal at lists.symbolic.software> wrote:
> 
> Hi Nadim,
> 
>> Unrelated: I really want to rename HMACVERIF to ASSERT, but am annoyed by how this will break backwards compatibility.
> 
> I would support switching to a more generic name now, while you are below < 1.0. 
> Imagine how annoyed users will be in a decade if their scripts break then. Currently backwards compatibility is limited to a small inconvenience to a small set of users with a handful of scripts. Even in the near future, this is likely to be very different. So I suggest to take the unconvenience now...
> 
> Best,
> Michiel
> 
> _______________________________________________
> Verifpal mailing list
> Verifpal at lists.symbolic.software
> https://lists.symbolic.software/mailman/listinfo/verifpal