SIMD execution#76

Merged

raoxiaojia merged 19 commits intomasterfrom

Aug 18, 2025

Commits on Aug 8, 2025

add supported set of instructions (ref spectec)
raoxiaojia
committed

Commits on Aug 11, 2025

restructure simd for adding implementation
raoxiaojia
committed

Commits on Aug 12, 2025

simd parsing, lane extraction and serialisation, and wast related implementations; proof updates
raoxiaojia
committed
redesigned numeric vector ops to be encoded by binary format instead (going towards using parametric implementation)
raoxiaojia
committed
makefile changes for custom filters
raoxiaojia
committed

Commits on Aug 15, 2025

Commits on Aug 16, 2025

add vec memory operations, including the laned and other variants
raoxiaojia
committed

Commits on Aug 17, 2025

Commits on Aug 18, 2025