https://gitlab.com/tezos/tezos
Raw File
Tip revision: 5f51c434c39d9ce85ec82cb9d38b9fa3f4b9e221 authored by Felix Puscasu on 15 February 2024, 16:44:21 UTC
RISC-V: Smrnmi-ext: WARL checks
Tip revision: 5f51c43
compare_timestamp_02.tzt
code { COMPARE } ;
input { Stack_elt timestamp "2" ; Stack_elt timestamp "1" } ;
output { Stack_elt int 1 }
back to top