Skip to main content

Browse the archive

Revision 4376b9b2d6347e9c623b4afcd08440872ea62639 authored by Felix Puscasu on 25 January 2024, 16:31:31 UTC, committed by Marge Bot on 02 February 2024, 16:09:40 UTC 
RISC-V: WARL checks mstatus / sstatus
1 parent 5bf5f67
Raw File
ediv_mutez-nat_03.tzt 
code { EDIV } ;
input { Stack_elt mutez 100 ; Stack_elt nat 0 } ;
output { Stack_elt (option (pair mutez mutez)) None }
back to top