https://gitlab.com/tezos/tezos
Raw File
Tip revision: 25957efd507827747fa651fb3b7f4e9d95c01faf authored by Ole Krüger on 21 February 2024, 13:52:11 UTC
RISC-V: Load ELF programs
Tip revision: 25957ef
gt_02.tzt
code { GT } ;
input { Stack_elt int 0 } ;
output { Stack_elt bool False } ;
back to top