Open fabianschuiki opened 4 years ago
There have been some spec changes to arithmetic instructions, as well as the drv and reg instructions. Apply these to the codebase, more specifically in the ir, verifier, and assembly modules.
drv
reg
ir
verifier
assembly
smul
umul
urem
after
inst
sig
There have been some spec changes to arithmetic instructions, as well as the
drv
andreg
instructions. Apply these to the codebase, more specifically in their
,verifier
, andassembly
modules.Todo
smul
andumul
urem
drv
after
option/necessary field toreg
inst
sig