https://gitlab.com/tezos/tezos
Raw File
Tip revision: 110315b3fcaf8ff1dca7445b2e8275470a7227b0 authored by Felix Puscasu on 15 January 2024, 11:56:09 UTC
RISC-V: WARL checks for satp
Tip revision: 110315b
pack_bytes_00.tzt
code { PACK } ;
input { Stack_elt bytes 0x } ;
output { Stack_elt bytes 0x050a00000000 } ;
back to top