https://gitlab.com/tezos/tezos
Raw File
Tip revision: ab0d411e0bf3d1f5d90312a79c5ae325f8ff95eb authored by Emma Turner on 27 March 2024, 10:44:35 UTC
RISC-V: floating-point sign injection
Tip revision: ab0d411
compare_timestamp_02.tzt
code { COMPARE } ;
input { Stack_elt timestamp "2" ; Stack_elt timestamp "1" } ;
output { Stack_elt int 1 }
back to top