[Verifpal] Renaming HMACVERIF to ASSERT (was: VerifPal 0.5)
nadim at symbolic.software
Mon Sep 9 15:43:25 CEST 2019
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...
> Verifpal mailing list
> Verifpal at lists.symbolic.software
More information about the Verifpal