https://gitlab.com/tezos/tezos
Raw File
Tip revision: 285427db45366c31b54022f57c2ac75fa3e5b88b authored by Marge Bot on 05 April 2024, 12:53:28 UTC
Merge tezos/tezos!12676: RISC-V: Distinguish physical & virtual test environments
Tip revision: 285427d
or_bool-bool_00.tzt
code { OR } ;
input { Stack_elt bool False ; Stack_elt bool False } ;
output { Stack_elt bool False }
back to top