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

Nadim Kobeissi nadim at symbolic.software
Mon Sep 9 15:43:25 CEST 2019


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

More information about the Verifpal mailing list