On Tue, Nov 5, 2024 at 12:12 PM Martin Jambor wrote:
>
> Hi,
>
> the next patch in the series introduces a verifier that prints a
> single jump function when it fails with the function introduced in
> this one. Because it is a verifier, the risk that it would need to e
> reverted are non-zero and
Hi,
the next patch in the series introduces a verifier that prints a
single jump function when it fails with the function introduced in
this one. Because it is a verifier, the risk that it would need to e
reverted are non-zero and because the function can be useful on its
own, this is a special p
