Skip to content

Stainless 0.9.3 (2022-02-25)

Pre-release
Pre-release
Compare
Choose a tag to compare
@mario-bucev mario-bucev released this 25 Feb 10:47
· 272 commits to main since this release
v0.9.3
064c65c
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Version 0.9.3 (2022-02-25)

GenC

  • Add cCode.noMangling annotation and split defines into header and C files
  • Propagate volatile and static keywords to struct fields
  • Avoid trimming of cCode.define functions
  • Introduce a binding to 'guard' against references created by the Referentiator (#1235)

Build

Assets 8
Loading