Skip to content
v0.10 (v1.0-draft-20210129)
Choose a tag to compare
@kasanovic kasanovic released this
· 244 commits to master since this release

This is a milestone release that is intended to be close to the 1.0 spec we will release for public review. Tool chain developers have asked for a numeric milestone number rather than a date, hence the 0.10 tag. Note there could still be changes before ratification,. though hopefully minor at this point. Also, the exact set of instructions to be included in each named extension is still not fixed.