Displaying 2 results from an estimated 2 matches for "changelast".
2019 Jan 11
2
[RFC] Adding a -memeq-lib-function flag to allow the user to specify a memeq function.
...ou
> have to prove that all bytes are equal.
> - The case when strings differ. In that case bcmp() only needs to prove
> that one byte differs to return nonzero. Typical cases where strings differ
> are at the start of the string (ChangeFirst), but also, interestingly, at
> the end (ChangeLast, when you are comparing strings with a common prefix,
> which happens frequently e.g. when comparing subsequent elements of a
> sorted list of strings). Another interesting case is the case when the
> change position is in the middle (ChangeMiddle).
>
> For this comparison, I'm u...
2019 Jan 09
2
[RFC] Adding a -memeq-lib-function flag to allow the user to specify a memeq function.
On Tue, Jan 8, 2019 at 9:24 AM Clement Courbet <courbet at google.com> wrote:
>
>
> On Mon, Jan 7, 2019 at 10:26 PM James Y Knight <jyknight at google.com>
> wrote:
>
I'm afraid about the "almost" and "generally": what about users who don't ?
>
Even so, it should be fine to enable it for those platforms which do
include it.
I do note,