Skip to content
This repository has been archived by the owner on Jan 10, 2025. It is now read-only.

Add new syscall instruction to the verifier #620

Merged
merged 8 commits into from
Oct 22, 2024