https://gitlab.com/tezos/tezos
Raw File
Tip revision: e5c97a0a4193965cc22d72c4315a0533704df0eb authored by François Thiré on 18 January 2024, 17:10:15 UTC
DAL: Add cryptography benchmarks
Tip revision: e5c97a0
gt_02.tzt
code { GT } ;
input { Stack_elt int 0 } ;
output { Stack_elt bool False } ;
back to top