update logic verifier inputs#88

XuyangSong merged 3 commits into

developanoma/arm-risc0:developfrom

xuyang/update_logic_verifier_inputsanoma/arm-risc0:xuyang/update_logic_verifier_inputsCopy head branch name to clipboard