search

Wasm-DSL / spectec

Wasm SpecTec specification tools
https://wasm-dsl.github.io/spectec/
Other
26 stars 9 forks source link

Refine cvtop #105

Closed rossberg closed 2 months ago

rossberg commented 2 months ago

This refines the naming of cvtop to match the spec, and moves sx into the operator for more precision.