Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[docs] Document specification and implementation of
VERIFY_BATCH
(#…
…1270) * Add specification * Add implementation * Link from ISA doc * chore: fix typoes --------- Co-authored-by: Jonathan Wang <[email protected]>
- Loading branch information