Skip to content

feat: wide fixed-width integer load/store accessors on ByteArray - #14053

Draft
kim-em wants to merge 8 commits into
leanprover:masterfrom
kim-em:bytearray-wide-uint-accessors
Draft

kim-em wants to merge 8 commits into
leanprover:masterfrom
kim-em:bytearray-wide-uint-accessors

fix: use lean_sarray_ensure_exclusive in wide ByteArray setters

ae6bd28
Select commit
Loading
Failed to load commit list.
Sign in for the full log view