search

WebAssembly / spec

WebAssembly specification, reference interpreter, and test suite.
https://webassembly.github.io/spec/
Other
3.13k stars 445 forks source link

[spec] Small typo in validation of vector load/store_lane #1763

Closed raoxiaojia closed 3 months ago

raoxiaojia commented 3 months ago

The latex version of validation for vector load/store_lane currently use strict equalities for alignment bounds instead of the intended \leq.